aboutsummaryrefslogtreecommitdiff
path: root/lego/lego-syntax.el
AgeCommit message (Expand)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2009-09-05Clean whitespaceDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-06-21GPL updateDavid Aspinall
2000-04-07Extra decoration.David Aspinall
2000-03-08Added new regexp for recognizing LEGO errors.David Aspinall
1999-10-06More improvements/fixes for closing unfinished proofs.David Aspinall
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1998-11-06new maintainer for LEGO Proof GeneralThomas Kleymann
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
1998-10-26*** empty log message ***Thomas Kleymann
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-09Added Id to headers.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:57 +0000