index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lego
/
lego-syntax.el
Commit message (
Expand
)
Author
Age
*
Extra decoration.
David Aspinall
2000-04-07
*
Added new regexp for recognizing LEGO errors.
David Aspinall
2000-03-08
*
More improvements/fixes for closing unfinished proofs.
David Aspinall
1999-10-06
*
fixed syntax entry for "_"
Thomas Kleymann
1999-02-03
*
new maintainer for LEGO Proof General
Thomas Kleymann
1998-11-06
*
fixed bug with font-lock face names
Thomas Kleymann
1998-11-03
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
*** empty log message ***
Thomas Kleymann
1998-10-26
*
Replaced remaining face defs with defface calls.
David Aspinall
1998-10-23
*
changed maintainer information to lego@dcs and isabelle@dcs .
Thomas Kleymann
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Reimplemented proof-shell-popup-eager-annotation
Thomas Kleymann
1998-09-15
*
Added Id to headers.
David Aspinall
1998-09-09
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03