aboutsummaryrefslogtreecommitdiff
path: root/lego/lego.el
AgeCommit message (Expand)Author
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-06More improvements/fixes for closing unfinished proofs.David Aspinall
1999-10-06Fixed proof-showproof-commandDavid Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Use proof-string-match in appropriate placesDavid Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14fixed bug in lego-shell-adjust-line-width (It now monitors theThomas Kleymann
1998-12-11Tidied output by putting newlines before imports done message.David Aspinall
1998-12-08Added support for proof-shell-restart-cmdThomas Kleymann
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Note about suspected bug in lego-shell-adjust-line-width.David Aspinall
1998-11-12Added setting for proof-goal-command-regexpDavid Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-10Removed traces of support for Ruy's legogrep. This is superseded by legotags.Thomas Kleymann
1998-11-06new maintainer for LEGO Proof GeneralThomas Kleymann
1998-11-05completed chapter on LEGO Proof GeneralThomas Kleymann
1998-11-02fixed minor bugsThomas 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-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-27Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.David Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-23Added proof-mode-for-script setting.David Aspinall
1998-10-21Changed from forcing w3 to using customizable browse-urlDavid Aspinall
1998-10-21Changed fset to setq, removed retract-command mention (for now?).David Aspinall
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-12Removed setq proof-assistantDavid Aspinall
1998-10-07Removed lego-settings defgroup, changed to lego.David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-02added LEGO support for proof-goal-command and proof-save-commandThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Replaced string COMMENT by constant proof-no-command.David Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-22Fixed docstrings for derived modesDavid Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-09Added Id to headers.David Aspinall
1998-09-03Added some defcustom supportDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:14:49 +0000