aboutsummaryrefslogtreecommitdiff
path: root/lego
AgeCommit message (Collapse)Author
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
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
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
reserved for goals.
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-26*** empty log message ***Thomas Kleymann
1998-10-23Added proof-mode-for-script setting.David Aspinall
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
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
Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil).
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
These are no longer displayed in the *GOALS* buffer.
1998-09-09Added Id to headers.David Aspinall
1998-09-08Example copied from texinfo manualDavid Aspinall
1998-09-03Added some defcustom supportDavid Aspinall
1998-09-03Added Isabelle example and skeleton for Coq and Lego.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:55:08 +0000