aboutsummaryrefslogtreecommitdiff
path: root/hol98
AgeCommit message (Collapse)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2009-09-06Prevent compile warningsDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2007-12-13Deleted fileDavid Aspinall
2004-04-16New files.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-14Remove X-symbol support from secondary provers temporarilyDavid Aspinall
2004-04-02Updated.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
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 08:08:39 +0000