aboutsummaryrefslogtreecommitdiff
path: root/hol98
AgeCommit message (Expand)Author
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-14wsDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2000-09-23Add Pierre's tweakDavid Aspinall
2000-05-11Explanatory commentsDavid Aspinall
2000-04-07Decoration tweaksDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-24Use pg command pg_top_thm_and_dropDavid Aspinall
2000-03-24Improved HOL support, now joins together commands in proof properly.David Aspinall
2000-03-24UpdatedDavid Aspinall
2000-03-23CommentDavid Aspinall
2000-03-23Hooray, I proved a theorem.David Aspinall
2000-03-23Fix name of HOL98.David Aspinall
2000-03-22Set proof-shell-filename-escapes, switch back to %sDavid Aspinall
2000-03-22Use new format character %s to %e to cope with nasty filenames with backslashes.David Aspinall
2000-03-19More reliable prompt regexpDavid Aspinall
2000-03-19UpdatedDavid Aspinall
2000-03-13Note about diff HOL versions.David Aspinall
2000-03-13ImprovementsDavid Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-10UpdatedDavid Aspinall
2000-03-10TODOs for HOL.David Aspinall
2000-03-10Added decoration and syntax table entries.David Aspinall
2000-03-10Symbol for ==>David Aspinall
2000-03-09First bash at HOL support, working but barelyDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:21:59 +0000