aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa/multiple
Commit message (Collapse)AuthorAge
* 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-07-04 16:46:35 +0000