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 (
Expand
)
Author
Age
*
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 -> proof-script-comment...
David Aspinall
2002-07-19
*
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