proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	GPL	David Aspinall	2002-06-21
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	Add support for toolbars on Emacs 21.	David Aspinall	2001-12-11
\|
*	Fix fudged enabler to call button function interactively.	David Aspinall	2001-10-04
\|
*	Add hide/show commands instead of make proofs visible	David Aspinall	2001-08-16
\|
*	Revert to removing and re-adding specifiers for toolbar,	David Aspinall	2001-08-01
\| \| \| \|	so that enablers work at least as well as they did before...
*	Various changes for win32 compatibility	Christophe Raffalli	2001-07-25
\|
*	Clean for compile	David Aspinall	2001-07-09
\|
*	Add visible enable command	David Aspinall	2000-12-14
\|
*	Make toolbar enablers work appropriately from non-scripting buffers	David Aspinall	2000-09-23
\| \| \| \| \|	Remove support for obsolete 1-bit xbm images Update comments
*	Removed proof-toolbar-entries-default and <PA>-toolbar-entries.	David Aspinall	2000-09-13
\|
*	Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵	David Aspinall	2000-09-13
\| \| \| \|	proof-config to allow easier configuration.
*	Support toolbar in gtk-xemacs	David Aspinall	2000-06-15
\|
*	When button enablers disabled, don't use itimer or after-change hook.	David Aspinall	2000-05-25
\|
*	Next button is enabled whenever locked region is not full.	David Aspinall	2000-05-25
\|
*	Use proof-deftoggle macro.	David Aspinall	2000-05-11
\|
*	Improved loading	David Aspinall	2000-05-09
\|
*	Added menu entry for proof-goto-end-of-locked.	David Aspinall	2000-05-05
\|
*	Let Windows use the toolbar too.	David Aspinall	2000-03-23
\|
*	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
\|