proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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 res...	David Aspinall	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	1999-09-29
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...	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
*	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-28
*	Set version tag for new release.	David Aspinall	1999-09-27
*	Changed button order.	David Aspinall	1999-09-27
*	Docstrings	David Aspinall	1999-09-23
*	Added menu binding for finding theorems.	David Aspinall	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-23
*	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	1999-09-22
*	Whitespace.	David Aspinall	1999-09-22
*	Added find and help buttons. Find does nothing at the moment.	David Aspinall	1999-09-22
*	Comments	David Aspinall	1999-09-22
*	Button name change	David Aspinall	1999-09-22
*	Whitespace	David Aspinall	1999-09-22
*	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	1999-09-21
*	Robustification so that new instances are easier to add	David Aspinall	1999-09-21
*	proof-shell-grab-lock runs proof-state-change-hook.	David Aspinall	1999-09-21
*	Add and remove proof-toolbar-refresh to/from proof-state-change-hook.	David Aspinall	1999-09-21
*	Call proof-state-change-hook after asserting and retracting.	David Aspinall	1999-09-21
*	Callback for proof-shell-done-invisible now runs proof-state-change-hook.	David Aspinall	1999-09-21
*	Added proof-state-change-hook for toolbar enabler refreshing.	David Aspinall	1999-09-21
*	Removed proof-shell-completed added to eval-when-compile by mistake.	David Aspinall	1999-09-13
*	Added function to refresh toolbar	David Aspinall	1999-09-13
*	Added callbacks to refresh toolbar	David Aspinall	1999-09-13
*	Changed peculiar message to something slightly less peculiar	David Aspinall	1999-09-13
*	Set version tag for new release.	David Aspinall	1999-09-13
*	Experimental fix for proof-shell-completed flag clearing.	David Aspinall	1999-09-13