aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
Commit message (Expand)AuthorAge
...
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.Gravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* *** empty log message ***Gravatar Thomas Kleymann1998-10-26
* Added proof-mode-for-script setting.Gravatar David Aspinall1998-10-23
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* Changed from forcing w3 to using customizable browse-urlGravatar David Aspinall1998-10-21
* Changed fset to setq, removed retract-command mention (for now?).Gravatar David Aspinall1998-10-21
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* Removed setq proof-assistantGravatar David Aspinall1998-10-12
* Removed lego-settings defgroup, changed to lego.Gravatar David Aspinall1998-10-07
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* added LEGO support for proof-goal-command and proof-save-commandGravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Replaced string COMMENT by constant proof-no-command.Gravatar David Aspinall1998-10-01
* Changed customization group nameGravatar David Aspinall1998-09-23
* Fixed docstrings for derived modesGravatar David Aspinall1998-09-22
* Reimplemented proof-shell-popup-eager-annotationGravatar Thomas Kleymann1998-09-15
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Example copied from texinfo manualGravatar David Aspinall1998-09-08
* Added some defcustom supportGravatar David Aspinall1998-09-03
* Added Isabelle example and skeleton for Coq and Lego.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-22 17:19:03 +0000