aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98
Commit message (Expand)AuthorAge
* New files.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
* Remove X-symbol support from secondary provers temporarilyGravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-02
* Update email and web addressesGravatar David Aspinall2004-02-08
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* wsGravatar David Aspinall2002-07-14
* 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