proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
\| \| \| \| \| \| \| \| \| \| \| \|	- Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
*	Fix to docstring magic (allow spaces after symbol).	David Aspinall	1999-11-14
\|
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
\| \| \| \| \|	Patch for more flexible handling of closing goal...save regions after proof has been completed.
*	Updates and improvements	David Aspinall	1999-11-13
\|
*	Documentation improvements	David Aspinall	1999-11-12
\|
*	Improved documentation, more options added	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Added a section on user option conventions. Changed var names	David Aspinall	1999-11-10
\|
*	proof-looking-at (subject to proof-case-fold-search);	Makarius Wenzel	1999-11-10
\|
*	Fixed info syntax errors	David Aspinall	1999-11-09
\|
*	Added a section on debugging, mentioned proof-show-debug-messages.	David Aspinall	1999-11-08
\|
*	Fixes to intro.	David Aspinall	1999-11-08
\|
*	Updates for 3.0	David Aspinall	1999-11-08
\|
*	updated;	Makarius Wenzel	1999-10-27
\|
*	updated;	Makarius Wenzel	1999-10-26
\|
*	Documentation about the improved multiple file handling functions.	David Aspinall	1999-10-21
\|
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
\|
*	Added proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
\|
*	typo	David Aspinall	1999-10-21
\|
*	Revised bug section for Isabelle multiple file note.	David Aspinall	1999-10-21
\|
*	A couple of comint symbols are mentioned in the docs	David Aspinall	1999-10-21
\|
*	Fixed crossrefs.	David Aspinall	1999-10-20
\|
*	Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magic	David Aspinall	1999-10-19
\|
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
\|
*	docstring magic	David Aspinall	1999-10-12
\|
*	Temporary location of web pages	David Aspinall	1999-10-07
\|
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
\|
*	Updates	David Aspinall	1999-10-06
\|
*	Updates	David Aspinall	1999-10-06
\|
*	Admin changes for version 2.2.	David Aspinall	1999-10-06
\|
*	proof-try-command is deprecated	David Aspinall	1999-10-06
\|
*	Updates.	David Aspinall	1999-10-06
\|
*	Fixup name changes	David Aspinall	1999-10-01
\|
*	No attempt to update BUGS section of manual	David Aspinall	1999-10-01
\|
*	Minor changes to introduction.	David Aspinall	1999-10-01
\|
*	make magic;	Makarius Wenzel	1999-09-30
\|
*	Added proof-script-command-separator. Removed duplicated ↵	David Aspinall	1999-09-29
\| \| \| \|	proof-strict-read-only.
*	Updated	David Aspinall	1999-09-28
\|
*	Added doc for proof-find-theorems	David Aspinall	1999-09-23
\|
*	updated (make magic);	Makarius Wenzel	1999-09-22
\|
*	Earlier explanation of what a proof assistant is.	David Aspinall	1999-09-22
\|
*	Fixed rearrange target.	David Aspinall	1999-09-13
\|
*	Updated magic	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
\|
*	XEmacs 21 fixes for documentation of function menu	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
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
\|
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
\|
*	Remove temporary file	David Aspinall	1999-08-20
\|