aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa/multiple
Commit message (Expand)AuthorAge
* 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
* 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-27 20:55:47 +0000