proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-10-06	Updates.	David Aspinall

1999-10-06	Added proof-retract-buffer symmetric to proof-process-buffer.	David Aspinall
	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.
1999-10-01	Fixup name changes	David Aspinall

1999-10-01	Set version tag for new release.	David Aspinall

1999-10-01	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall

1999-10-01	Removed dubious 'dont own process' error in proof-interrupt-process.	David Aspinall

1999-10-01	Added interrupt button to toolbar	David Aspinall

1999-10-01	Fix bug for proof-shell-leave-annotations-in-output.	David Aspinall

1999-10-01	Fix toolbar in wrong buffer bug; delete defunct itimers.	David Aspinall

1999-09-30	Set version tag for new release.	David Aspinall

1999-09-29	Set version tag for new release.	David Aspinall

1999-09-29	Unhappily added proof-shell-leave-annotations-in-output hack.	David Aspinall

1999-09-29	Extended documentation for proof-shell-restart.	David Aspinall

1999-09-29	Menu name.	David Aspinall

1999-09-29	Fixes so that proof-strict-read-only can be toggled within a session (via ↵	David Aspinall
	restart).
1999-09-29	Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.	David Aspinall

1999-09-29	Changed name of proof-copy-span to proof-mouse-track-insert.	David Aspinall

1999-09-29	Added proof-script-command-separator. Needs work.	David Aspinall

1999-09-29	Improved proof-copy-span and renamed to proof-mouse-track-insert.	David Aspinall
	Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span).
1999-09-29	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to ↵	David Aspinall
	C-button1
1999-09-28	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	Fix for FSF: it should load proof-toolbar too.	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	Set version tag for new release.	David Aspinall

1999-09-27	Set version tag for new release.	David Aspinall

1999-09-27	Changed button order.	David Aspinall

1999-09-23	Docstrings	David Aspinall

1999-09-23	Added menu binding for finding theorems.	David Aspinall
	Added extra doc strings to hair macro definitions of functions.
1999-09-23	Set version tag for new release.	David Aspinall

1999-09-23	Added proof-find-theorems and some hairy macros to define related commands.	David Aspinall

1999-09-23	Added implementation of proof-toolbar-find	David Aspinall

1999-09-23	Trivial.	David Aspinall

1999-09-23	Added proof-find-theorems-command setting.	David Aspinall

1999-09-22	Set version tag for new release.	David Aspinall

1999-09-22	Docstrings	David Aspinall

1999-09-22	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel

1999-09-22	Bug in command button for toolbar.	David Aspinall

1999-09-22	Added interval timer to reduce flickeriness of refresh.	David Aspinall
	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.
1999-09-22	Whitespace.	David Aspinall

1999-09-22	Added find and help buttons. Find does nothing at the moment.	David Aspinall
	Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately.
1999-09-22	Comments	David Aspinall

1999-09-22	Button name change	David Aspinall

1999-09-22	Whitespace	David Aspinall

1999-09-21	Set version tag for new release.	David Aspinall

1999-09-21	Improved docstrings for regexp vars.	David Aspinall

1999-09-21	Comment fix.	David Aspinall
	Fix for FSF Emacs.
1999-09-21	Robustification so that new instances are easier to add	David Aspinall
	(allowed a bunch of regexps to be unset, safely).
1999-09-21	proof-shell-grab-lock runs proof-state-change-hook.	David Aspinall
	This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names.