proof-general - Emacs interface for proof assistants

	Commit message (Expand)	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
*	Added todo for clean byte compile	David Aspinall	1998-10-22
*	o Improved error messages	Thomas Kleymann	1998-10-21
*	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
*	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