proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Added interrupt button to toolbar	David Aspinall	1999-10-01
*	Fix toolbar in wrong buffer bug; delete defunct itimers.	David Aspinall	1999-10-01
*	Menu name.	David Aspinall	1999-09-29
*	More reorganizing of menus and keybindings with aim of usability in mind.	David Aspinall	1999-09-28
*	Reorganization of menus: made a single menu but flattened Scripting submenu.	David Aspinall	1999-09-28
*	Made Scripting menu entry item on menubar.	David Aspinall	1999-09-28
*	Longer menu names, allowed some toolbar items to be omitted from menu.	David Aspinall	1999-09-28
*	Changed button order.	David Aspinall	1999-09-27
*	Added implementation of proof-toolbar-find	David Aspinall	1999-09-23
*	Bug in command button for toolbar.	David Aspinall	1999-09-22
*	Added interval timer to reduce flickeriness of refresh.	David Aspinall	1999-09-22
*	Added find and help buttons. Find does nothing at the moment.	David Aspinall	1999-09-22
*	Button name change	David Aspinall	1999-09-22
*	Add and remove proof-toolbar-refresh to/from proof-state-change-hook.	David Aspinall	1999-09-21
*	Added function to refresh toolbar	David Aspinall	1999-09-13
*	Added new toolbar buttons, streamlined code to work from a table	David Aspinall	1999-09-13
*	Add toggle for proof toolbar to menu	David Aspinall	1999-05-11
*	Updated docstring.	David Aspinall	1998-12-17
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
*	Removed check for proof script buffer from retraction enabler.	David Aspinall	1998-12-11
*	Changed name of proof-toolbar-inhibit variable for uniformity.	David Aspinall	1998-12-10
*	Toolbar tip for restart changed.	David Aspinall	1998-11-25
*	Docstring fixes, minor improvements.	David Aspinall	1998-11-25
*	Reimplemented functions to shut down and restart proof process.	David Aspinall	1998-11-20
*	BIG CHANGES -- SORRY!	David Aspinall	1998-11-20
*	Added menu made from toolbar commands, called "Scripting".	David Aspinall	1998-11-03
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
*	Added proof-toolbar-follow-mode user option and functions to support	David Aspinall	1998-10-28
*	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