proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \|	Fix for FSF Emacs.
*	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.
*	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
\| \| \| \|	display it nicely.
*	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
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	Fix so that buffer names are shorter (esp for Coq).	David Aspinall	1999-09-13
\| \| \| \|	A fixed version of Patrick's earlier patch.
*	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
\| \| \| \|	Check that there is active scripting buffer, in Isabelle there might not be.
*	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
\| \| \| \|	(interrupts may appear like error messages in Isabelle/Isar);
*	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
\| \| \| \|	case of proof-prog-name="isabelle", for example.
*	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
\|
*	Set version tag for new release.	David Aspinall	1999-07-01
\|
*	Set version tag for new release.	David Aspinall	1999-06-30
\|
*	Set version tag for new release.	David Aspinall	1999-06-28
\|