proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated.	David Aspinall	2007-12-09
\|
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
\|
*	Updated.	David Aspinall	2005-05-17
\|
*	Updated.	David Aspinall	2004-08-25
\|
*	Updated.	David Aspinall	2004-05-07
\|
*	Updated.	David Aspinall	2004-04-18
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	New files.	David Aspinall	2003-03-17