proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	proof-check-process-available replaced by two functions:	David Aspinall	1998-10-26
\| \| \| \| \|	proof-activate-scripting proof-shell-ready-prover
*	Added todo for clean byte compile	David Aspinall	1998-10-22
\|
*	o Improved error messages	Thomas Kleymann	1998-10-21
\| \| \| \|	o Fixed bug in proof-toolbar-next
*	relaxed conditions in light of new multiple files support	Thomas Kleymann	1998-10-18
\|
*	Reimplemented multiple file proof developments	Thomas Kleymann	1998-10-18
\|
*	Fixed bug in proof-toolbar-qed.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Removed toolbar enablers. XEmacs isnt ready for them yet.	David Aspinall	1998-10-12
\|
*	Made toolbar functions leave point alone, mostly.	David Aspinall	1998-10-12
\|
*	Doc strings	David Aspinall	1998-10-12
\|
*	Added detection of less than 16 bit colour depth to display 8bit	David Aspinall	1998-10-07
\| \| \| \| \|	icons. Disabled toolbar for console working.
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added qed button. Fixed enabler predicates.	David Aspinall	1998-10-01
\|
*	Changed customization group name	David Aspinall	1998-09-23
\|
*	Added new buttons, changed icons.	David Aspinall	1998-09-22
\|
*	Added docs and proof-restart-script-same-process (may need work)	David Aspinall	1998-09-14
\|
*	Renamed recycle icon to restart	David Aspinall	1998-09-09
\|
*	Added query to restart script button in case of accidents.	David Aspinall	1998-09-09
\|
*	Added todos for toolbar.	David Aspinall	1998-09-08
\|
*	First version of generic proof toolbar.	David Aspinall	1998-09-08