aboutsummaryrefslogtreecommitdiff
path: root/etc/isa
AgeCommit message (Expand)Author
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-06-14obsolete;Makarius Wenzel
2002-08-26New files.David Aspinall
2002-08-09New files.David Aspinall
2000-08-28Test file for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-14Files for testing theorem dependency features.David Aspinall
2000-03-22Comment about tripping bug in IsabelleDavid Aspinall
2000-03-22Added test files to check stupid filename for directories.David Aspinall
1999-11-12New testing filesDavid Aspinall
1999-11-09Test files for error in theory processing.David Aspinall
1999-10-27test stray ML file;Makarius Wenzel
1999-10-21Trivial changesDavid Aspinall
1999-10-20Minor change for testing.David Aspinall
1999-08-19based on Pure rather than Main (which didn't work because of Pure/CPure clash);Makarius Wenzel
1999-02-01Fixed comment.David Aspinall
1999-02-01Test case for file recognition bug.David Aspinall
1999-01-26Added David von Oheimbs test case for case matchingDavid Aspinall
1999-01-15Test has backward slashes now, not forwards ones..David Aspinall
1999-01-15Test file for long lines with backslashes.David Aspinall
1998-12-11More test cases mentionedDavid Aspinall
1998-12-11Added more commands for testingDavid Aspinall
1998-12-11Name of proof-shell-restart was changed.David Aspinall
1998-11-18Changes for better testingDavid Aspinall
1998-11-03Fixed multiple file bugDavid Aspinall
1998-10-29More notesDavid Aspinall
1998-10-29Ran tests for Isabelle. Added another test case.David Aspinall
1998-10-19Test files for handling multiple files with IsabelleDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 22:31:44 +0000