proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Look up and left for context, down and right for state. Are these the right ...	David Aspinall	1999-09-22
*	New buttons	David Aspinall	1999-09-22
*	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
*	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