aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98
Commit message (Expand)AuthorAge
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Add Pierre's tweakGravatar David Aspinall2000-09-23
* Explanatory commentsGravatar David Aspinall2000-05-11
* Decoration tweaksGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* Use pg command pg_top_thm_and_dropGravatar David Aspinall2000-03-24
* Improved HOL support, now joins together commands in proof properly.Gravatar David Aspinall2000-03-24
* UpdatedGravatar David Aspinall2000-03-24
* CommentGravatar David Aspinall2000-03-23
* Hooray, I proved a theorem.Gravatar David Aspinall2000-03-23
* Fix name of HOL98.Gravatar David Aspinall2000-03-23
* Set proof-shell-filename-escapes, switch back to %sGravatar David Aspinall2000-03-22
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
* More reliable prompt regexpGravatar David Aspinall2000-03-19
* UpdatedGravatar David Aspinall2000-03-19
* Note about diff HOL versions.Gravatar David Aspinall2000-03-13
* ImprovementsGravatar David Aspinall2000-03-13
* New/updated information filesGravatar David Aspinall2000-03-13
* UpdatedGravatar David Aspinall2000-03-10
* TODOs for HOL.Gravatar David Aspinall2000-03-10
* Added decoration and syntax table entries.Gravatar David Aspinall2000-03-10
* Symbol for ==>Gravatar David Aspinall2000-03-10
* First bash at HOL support, working but barelyGravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 12:41:41 +0000