proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Make tests succeed, although still two or three underlying bugs	David Aspinall	2010-08-25
\|
*	Comment out some lines so that processes.	David Aspinall	2010-08-13
\|
*	Updated.	David Aspinall	2010-08-13
\|
*	Try to fix processing of this file	David Aspinall	2010-08-11
\|
*	Point to Trac #313	David Aspinall	2009-12-01
\|
*	Remove some spaces	David Aspinall	2009-09-08
\|
*	Remove more of 80 code	David Aspinall	2009-09-08
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24