aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/lego-syntax.el
Commit message (Expand)AuthorAge
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Clean whitespaceGravatar David Aspinall2009-09-05
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* GPL updateGravatar David Aspinall2002-06-21
* Extra decoration.Gravatar David Aspinall2000-04-07
* Added new regexp for recognizing LEGO errors.Gravatar David Aspinall2000-03-08
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* fixed syntax entry for "_"Gravatar Thomas Kleymann1999-02-03
* new maintainer for LEGO Proof GeneralGravatar Thomas Kleymann1998-11-06
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* *** empty log message ***Gravatar Thomas Kleymann1998-10-26
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Reimplemented proof-shell-popup-eager-annotationGravatar Thomas Kleymann1998-09-15
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 15:53:11 +0000