proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Split manual into two parts.	David Aspinall	2000-08-28
\| \| \| \| \| \| \| \| \|	Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible.
*	Updated	David Aspinall	1999-11-22
\|
*	Updated	David Aspinall	1999-11-19
\|
*	updated	David Aspinall	1999-06-30
\|
*	Updated.	David Aspinall	1999-06-28
\|
*	Updated	David Aspinall	1999-06-28
\|
*	Fixed.	David Aspinall	1999-03-08
\|
*	Added HTML files.	David Aspinall	1998-11-26
\|
*	Updated	David Aspinall	1998-11-25
\|
*	A few more	David Aspinall	1998-11-18
\|
*	Added NewDoc temporaries	David Aspinall	1998-11-18
\|
*	Added .ignore for documentation targets and intermediates.	David Aspinall	1998-10-15