aboutsummaryrefslogtreecommitdiff
path: root/hol98/hol98.el
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
2004-04-15Updated.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
2000-04-07Decoration tweaksDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-24Improved HOL support, now joins together commands in proof properly.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-13ImprovementsDavid Aspinall
2000-03-10Added decoration and syntax table entries.David Aspinall
2000-03-09First bash at HOL support, working but barelyDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:51:15 +0000