proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	- move proof-no-fully-processed-buffer to generic/proof-config	Hendrik Tews	2011-01-14
\| \| \| \| \| \|	- add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted
*	New subdirs for html	David Aspinall	2007-06-19
\|
*	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