proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	fixed minor bugs	Thomas Kleymann	1998-11-02
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-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 exclusively	Thomas Kleymann	1998-10-30
\| \| \| \|	reserved for goals.
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
\|
*	Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	* empty log message *	Thomas Kleymann	1998-10-26
\|
*	Added proof-mode-for-script setting.	David Aspinall	1998-10-23
\|
*	Replaced remaining face defs with defface calls.	David Aspinall	1998-10-23
\| \| \| \| \|	Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
*	Changed from forcing w3 to using customizable browse-url	David Aspinall	1998-10-21
\|
*	Changed fset to setq, removed retract-command mention (for now?).	David Aspinall	1998-10-21
\|
*	Reimplemented multiple file proof developments	Thomas Kleymann	1998-10-18
\|
*	Removed setq proof-assistant	David Aspinall	1998-10-12
\|
*	Removed lego-settings defgroup, changed to lego.	David Aspinall	1998-10-07
\| \| \| \| \|	Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil).
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	added LEGO support for proof-goal-command and proof-save-command	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Replaced string COMMENT by constant proof-no-command.	David Aspinall	1998-10-01
\|
*	Changed customization group name	David Aspinall	1998-09-23
\|
*	Fixed docstrings for derived modes	David Aspinall	1998-09-22
\|
*	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann	1998-09-15
\| \| \| \|	These are no longer displayed in the GOALS buffer.
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Example copied from texinfo manual	David Aspinall	1998-09-08
\|
*	Added some defcustom support	David Aspinall	1998-09-03
\|
*	Added Isabelle example and skeleton for Coq and Lego.	David Aspinall	1998-09-03
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03