proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	Added new toolbar buttons, streamlined code to work from a table	David Aspinall	1999-09-13
*	Added proof-terminal-string to proof-execute-minibuffer-cmd.	David Aspinall	1999-09-13
*	Removed transparent gif from splash screen because XEmacs can't	David Aspinall	1999-09-13
*	docstring improvements for proof-guess-command-name	David Aspinall	1999-09-13
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
*	Fix so that buffer names are shorter (esp for Coq).	David Aspinall	1999-09-13
*	tuned x-symbol setup (DvO);	Makarius Wenzel	1999-09-09
*	da: improved comment;	Makarius Wenzel	1999-09-03
*	Set version tag for new release.	David Aspinall	1999-08-27
*	Set version tag for new release.	David Aspinall	1999-08-24
*	Attempted fix of FSFmacs problem, left as comment	David Aspinall	1999-08-24
*	Docstring	David Aspinall	1999-08-24
*	FIXME to add menu to goals buffer, to match response buffer menu.	David Aspinall	1999-08-23
*	Disable properly if x-symbol is not available.	David Aspinall	1999-08-23
*	Integrated patch from David von Oheimb.	David Aspinall	1999-08-23
*	Fix for toolbar disable for FSF Emacs.	David Aspinall	1999-08-23
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
*	proof-goto-end-of-locked-if-pos-not-visible-in-window:	David Aspinall	1999-08-20
*	Fix for process kill timeout bug.	David Aspinall	1999-08-20
*	Set version tag for new release.	David Aspinall	1999-08-20
*	prefer proof-shell-interrupt-regexp over proof-shell-error-regexp	Makarius Wenzel	1999-08-20
*	Fix for XEmacs 21	David Aspinall	1999-08-20
*	Set version tag for new release.	David Aspinall	1999-08-19
*	Set version tag for new release.	David Aspinall	1999-08-17
*	Set version tag for new release.	David Aspinall	1999-07-22
*	Reverted change to Inferior buffer's name, it fails on simple	David Aspinall	1999-07-22
*	Set version tag for new release.	David Aspinall	1999-07-16
*	(goto-char (point-min)) rather than (proof-goto-end-of-locked);	Makarius Wenzel	1999-07-08
*	Set version tag for new release.	David Aspinall	1999-07-07
*	Set version tag for new release.	David Aspinall	1999-07-03
*	fixed some regexp via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
*	Set version tag for new release.	David Aspinall	1999-07-02