proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-09-22	Look up and left for context, down and right for state. Are these the right ↵	David Aspinall
	NLP gestures?
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-21	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
	Mentioned output formatting spurious newlines issue for Isabelle.
1999-09-21	Comment fix.	David Aspinall
	Fix for FSF Emacs.
1999-09-21	Adjusted proof-shell-proof-completed-regexp to match against whole of	David Aspinall
	proofstate output including "No subgoals!" message. Now PG can correctly set the proof-shell-proof-completed flag.
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.
1999-09-21	Add and remove proof-toolbar-refresh to/from proof-state-change-hook.	David Aspinall
	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?].
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
	Comments and variable ordering tweaked.
1999-09-21	lemma and_comms;	Makarius Wenzel

1999-09-13	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
	directory.
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