proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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