aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa
Commit message (Expand)AuthorAge
* Test file for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Files for testing theorem dependency features.Gravatar David Aspinall2000-08-14
* Comment about tripping bug in IsabelleGravatar David Aspinall2000-03-22
* Added test files to check stupid filename for directories.Gravatar David Aspinall2000-03-22
* New testing filesGravatar David Aspinall1999-11-12
* Test files for error in theory processing.Gravatar David Aspinall1999-11-09
* test stray ML file;Gravatar Makarius Wenzel1999-10-27
* Trivial changesGravatar David Aspinall1999-10-21
* Minor change for testing.Gravatar David Aspinall1999-10-20
* based on Pure rather than Main (which didn't work because of Pure/CPure clash);Gravatar Makarius Wenzel1999-08-19
* Fixed comment.Gravatar David Aspinall1999-02-01
* Test case for file recognition bug.Gravatar David Aspinall1999-02-01
* Added David von Oheimbs test case for case matchingGravatar David Aspinall1999-01-26
* Test has backward slashes now, not forwards ones..Gravatar David Aspinall1999-01-15
* Test file for long lines with backslashes.Gravatar David Aspinall1999-01-15
* More test cases mentionedGravatar David Aspinall1998-12-11
* Added more commands for testingGravatar David Aspinall1998-12-11
* Name of proof-shell-restart was changed.Gravatar David Aspinall1998-12-11
* Changes for better testingGravatar David Aspinall1998-11-18
* Fixed multiple file bugGravatar David Aspinall1998-11-03
* More notesGravatar David Aspinall1998-10-29
* Ran tests for Isabelle. Added another test case.Gravatar David Aspinall1998-10-29
* Test files for handling multiple files with IsabelleGravatar David Aspinall1998-10-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-12 00:48:12 +0000