proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Example of using pbp	David Aspinall	2002-07-16
\|
*	Error example from Randy, showing too much info was lost in output msgs.	David Aspinall	2000-03-08
\|
*	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.
*	Test case	David Aspinall	1999-11-13
\|
*	Improved test file so that it works correctly with installed LEGO 1.3.1	Thomas Kleymann	1999-01-21
\|
*	added Solaris-specific path. Requires LEGO versions more recent than 1.3.1	Thomas Kleymann	1999-01-18
\|
*	does indeed crash Proof General, Version 2.1pre990112	Thomas Kleymann	1999-01-18
\|
*	Name of proof-shell-restart was changed.	David Aspinall	1998-12-11
\|
*	Added new case of retracting across file boundaries to a buffer with	Thomas Kleymann	1998-10-23
\| \| \| \|	more than on ACS. Also improved presentation.
*	no futher instructions in share-site-startup needed	Thomas Kleymann	1998-10-23
\|
*	modified local installation procedure	Thomas Kleymann	1998-10-21
\|
*	Filename comment	David Aspinall	1998-10-20
\|
*	support environmental variable PROOFGENERAL	Thomas Kleymann	1998-10-19
\|
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
\|
*	* empty log message *	Thomas Kleymann	1998-10-18