proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Added some defcustom support	David Aspinall	1998-09-03
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03