proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Tweak output strings and prompt matching	David Aspinall	2012-02-08
\|
*	Add restart command (does nothing)	David Aspinall	2012-02-08
\|
*	Try to make evars output match what is expected by Prooftree	David Aspinall	2012-02-08
\|
*	Add proof-forget-id command and make top_thm discard the goalstack.	David Aspinall	2012-02-08
\|
*	Improve handling of undo, implementing pg_kill and pg_undo.	David Aspinall	2012-02-08
\|
*	Adjust global state idea, it is supposed to count down as well as up...	David Aspinall	2012-02-08
\|
*	Start support for both plain and custom top levels (work in progress).	David Aspinall	2012-02-07
\|
*	Rename file	David Aspinall	2012-01-20