proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated buttons.	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
\|
*	Changed name of button	David Aspinall	1999-09-22
\|
*	Earlier explanation of what a proof assistant is.	David Aspinall	1999-09-22
\|
*	Updated with new buttons	David Aspinall	1999-09-22
\|
*	Image a bit like show.	David Aspinall	1999-09-22
\|
*	Correct text, still no image.	David Aspinall	1999-09-22
\|
*	Updated	David Aspinall	1999-09-22
\|
*	Clarified font note	David Aspinall	1999-09-22
\|
*	New button icons	David Aspinall	1999-09-22
\|
*	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
\| \| \| \|	Mentioned output formatting spurious newlines issue for Isabelle.
*	Comment fix.	David Aspinall	1999-09-21
\| \| \| \|	Fix for FSF Emacs.
*	Adjusted proof-shell-proof-completed-regexp to match against whole of	David Aspinall	1999-09-21
\| \| \| \| \|	proofstate output including "No subgoals!" message. Now PG can correctly set the proof-shell-proof-completed flag.
*	Robustification so that new instances are easier to add	David Aspinall	1999-09-21
\| \| \| \|	(allowed a bunch of regexps to be unset, safely).
*	proof-shell-grab-lock runs proof-state-change-hook.	David Aspinall	1999-09-21
\| \| \| \| \| \| \|	This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names.
*	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?].
*	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
\| \| \| \|	Comments and variable ordering tweaked.
*	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 ↵	David Aspinall	1999-09-13
\| \| \| \|	directory.
*	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
\|