proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	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
\| \| \| \|	disable enablers if < XEmacs 21.
*	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
\| \| \| \| \| \|	Added question to user when switching scripting buffer, and new option proof-auto-retract-other-buffers to disable question. This reimplements the old "steal scripting?" idea.
*	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
\| \| \| \| \| \|	However, this is faulty: seems to be a race condition somewhere so that refreshing clears the "refresh wanted" flag, but the toolbar suggests that the proof process is busy when it isn't.
*	Added find and help buttons. Find does nothing at the moment.	David Aspinall	1999-09-22
\| \| \| \| \|	Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately.
*	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
\| \| \| \| \| \|	Simplified many of the toolbar functions to be aliases, and remove explicit check on enabler condition [although may want to add this back in uniformly to allow toolbar buttons to be called elsewhere?].
*	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
\| \| \| \| \| \|	Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer.
*	BIG CHANGES -- SORRY!	David Aspinall	1998-11-20
\| \| \| \| \| \| \| \|	Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions.
*	Added menu made from toolbar commands, called "Scripting".	David Aspinall	1998-11-03
\| \| \| \|	Made file FSF GNU Emacs compatible.
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	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
\| \| \| \|	it. Removed require on proof-shell from proof-toolbar.
*	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
\|