proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Renamed file	David Aspinall	1999-09-22
*	tuned example according to Isabelle style-guide;	Makarius Wenzel	1999-09-22
*	improved (?) proof-shell-proof-completed-regexp;	Makarius Wenzel	1999-09-22
*	Renamed file	David Aspinall	1999-09-22
*	Set version tag for new release.	David Aspinall	1999-09-21
*	Added cvs update to release target.	David Aspinall	1999-09-21
*	Expanded.	David Aspinall	1999-09-21
*	Replaced Patrick with desperate plea for help with Coq PG.	David Aspinall	1999-09-21
*	Fix for proof-shell-proof-completed-regexp	David Aspinall	1999-09-21
*	Improved docstrings for regexp vars.	David Aspinall	1999-09-21
*	Made desired usability changes more explicit and detailed.	David Aspinall	1999-09-21
*	Comment fix.	David Aspinall	1999-09-21
*	Adjusted proof-shell-proof-completed-regexp to match against whole of	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
*	lemma and_comms;	Makarius Wenzel	1999-09-21
*	Fixed rearrange target.	David Aspinall	1999-09-13
*	Removed proof-shell-completed added to eval-when-compile by mistake.	David Aspinall	1999-09-13
*	Updated magic	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
*	New toolbar image	David Aspinall	1999-09-13
*	Changed peculiar message to something slightly less peculiar	David Aspinall	1999-09-13
*	Updated buttons. xbm's still problematical, I think	David Aspinall	1999-09-13
*	Updated for gimp 1.1.9	David Aspinall	1999-09-13
*	Updated	David Aspinall	1999-09-13
*	Updated	David Aspinall	1999-09-13
*	Altered to use craro since scar now broken.	David Aspinall	1999-09-13
*	Failed attempt to prevent Coq from starting up with display of current direct...	David Aspinall	1999-09-13
*	Set version tag for new release.	David Aspinall	1999-09-13
*	Mention Yves Bertot on about page	David Aspinall	1999-09-13
*	Emphasised that user can still use the shell	David Aspinall	1999-09-13
*	No longer cutting edge, really.	David Aspinall	1999-09-13
*	Added plastic to elisp dirs and cleanup backup files.	David Aspinall	1999-09-13
*	Experimental fix for proof-shell-completed flag clearing.	David Aspinall	1999-09-13
*	Added new toolbar buttons, streamlined code to work from a table	David Aspinall	1999-09-13
*	Added new buttons. (xbm files currently missing, some icons not made yet, co...	David Aspinall	1999-09-13
*	Mentioned toolbar enabler potential problems	David Aspinall	1999-09-13
*	Updated	David Aspinall	1999-09-13
*	Added proof-terminal-string to proof-execute-minibuffer-cmd.	David Aspinall	1999-09-13
*	Reorganized and formatted, added some items.	David Aspinall	1999-09-13
*	XEmacs 21 fixes for documentation of function menu	David Aspinall	1999-09-13
*	Mention splash screen and that XEmacs can't display transparent gifs	David Aspinall	1999-09-13
*	Mention problem with Ctrl-C and ssh.	David Aspinall	1999-09-13
*	Removed transparent gif from splash screen because XEmacs can't	David Aspinall	1999-09-13
*	Cleaned up example files so all demonstrate same theorem "conj_comms".	David Aspinall	1999-09-13