proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Added menu entry for proof-undo-and-delete-last-successful-command	David Aspinall	2000-03-19
*	Edited a tooltip.	David Aspinall	2000-03-09
*	Rearrange comments.	David Aspinall	1999-11-23
*	Moved goto button.	David Aspinall	1999-11-22
*	Added goto button	David Aspinall	1999-11-19
*	Moved code for user-commands to proof-script.el.	David Aspinall	1999-11-15
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
*	Copyright messages updated.	David Aspinall	1999-11-08
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
*	Added proof-toolbar-use-enablers setting, and automatically	David Aspinall	1999-10-12
*	after-change-functions only changed locally, only for script buffers.	David Aspinall	1999-10-06
*	FIXME added	David Aspinall	1999-10-06
*	Added proof-retract-buffer symmetric to proof-process-buffer.	David Aspinall	1999-10-06
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	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