aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/lego-syntax.el
Commit message (Collapse)AuthorAge
* 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
| | | | | | | o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
| | | | reserved for goals.
* *** empty log message ***Gravatar Thomas Kleymann1998-10-26
|
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
| | | | | Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
* 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
| | | | These are no longer displayed in the *GOALS* buffer.
* Added Id to headers.Gravatar David Aspinall1998-09-09
|
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03