proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add nested section example to increase the horror.	David Aspinall	2002-06-19
\|
*	Added End for sections, and silly test	David Aspinall	2002-06-19
\|
*	Added some non-undoable tactics	David Aspinall	2002-06-18
\|
*	Added some sections	David Aspinall	2002-06-18
\|
*	Fix	David Aspinall	2002-06-18
\|
*	Add more declarations	David Aspinall	2002-06-18
\|
*	More test cases, summary of situation.	David Aspinall	2002-06-12
\|
*	Note of another bug	David Aspinall	2002-06-12
\|
*	Add test t4 for extra depth of nesting	David Aspinall	2002-06-12
\|
*	Replace with example from Pierre	David Aspinall	2002-06-11
\|
*	New files.	David Aspinall	2002-06-11