aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa
Commit message (Expand)AuthorAge
* 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-06-26 08:08:13 +0000