aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/lego.el
Commit message (Expand)AuthorAge
...
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* Fixed proof-showproof-commandGravatar David Aspinall1999-10-06
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
* fixed syntax entry for "_"Gravatar Thomas Kleymann1999-02-03
* Use proof-string-match in appropriate placesGravatar David Aspinall1999-02-01
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* fixed bug in lego-shell-adjust-line-width (It now monitors theGravatar Thomas Kleymann1998-12-14
* Tidied output by putting newlines before imports done message.Gravatar David Aspinall1998-12-11
* Added support for proof-shell-restart-cmdGravatar Thomas Kleymann1998-12-08
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Note about suspected bug in lego-shell-adjust-line-width.Gravatar David Aspinall1998-11-25
* Added setting for proof-goal-command-regexpGravatar David Aspinall1998-11-12
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* new maintainer for LEGO Proof GeneralGravatar Thomas Kleymann1998-11-06
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* 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
* Added proof-mode-for-script setting.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
* Added some defcustom supportGravatar 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-25 04:19:36 +0000