aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98/hol98.el
Commit message (Expand)AuthorAge
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Prevent compile warningsGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Updated.Gravatar David Aspinall2004-04-15
* 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
* Decoration tweaksGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* Improved HOL support, now joins together commands in proof properly.Gravatar David Aspinall2000-03-24
* 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
* ImprovementsGravatar David Aspinall2000-03-13
* Added decoration and syntax table entries.Gravatar David Aspinall2000-03-10
* First bash at HOL support, working but barelyGravatar David Aspinall2000-03-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 06:38:50 +0000