index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
hol98
/
hol98.el
Commit message (
Collapse
)
Author
Age
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
|
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
|
*
Prevent compile warnings
David Aspinall
2009-09-06
|
*
Clean whitespace
David Aspinall
2009-09-05
|
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
|
*
Updated.
David Aspinall
2004-04-15
|
*
Update email and web addresses
David Aspinall
2004-02-08
|
*
Variable name change proof-comment-{start,end}-regexp -> ↵
David Aspinall
2002-07-19
|
|
|
|
proof-script-comment-{start,end}-regexp.
*
ws
David Aspinall
2002-07-14
|
*
Decoration tweaks
David Aspinall
2000-04-07
|
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
|
*
Improved HOL support, now joins together commands in proof properly.
David Aspinall
2000-03-24
|
*
Set proof-shell-filename-escapes, switch back to %s
David Aspinall
2000-03-22
|
*
Use new format character %s to %e to cope with nasty filenames with backslashes.
David Aspinall
2000-03-22
|
*
More reliable prompt regexp
David Aspinall
2000-03-19
|
*
Improvements
David Aspinall
2000-03-13
|
*
Added decoration and syntax table entries.
David Aspinall
2000-03-10
|
*
First bash at HOL support, working but barely
David Aspinall
2000-03-09