proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Clean flag settings for profiling. Add AHundredProofs.	David Aspinall	2010-08-18
\|
*	Extend testing	David Aspinall	2010-08-11
\|
*	Support custom syntactic fontification.	David Aspinall	2010-08-11
\|
*	Note complete	David Aspinall	2010-08-08
\|
*	Separate profiling from testing	David Aspinall	2010-08-03
\|
*	Fix compile	David Aspinall	2010-08-03
\|
*	Fix compilation	David Aspinall	2010-08-03
\|
*	Resurrect autotest framework	David Aspinall	2010-08-03
\|
*	Fix compile errors	David Aspinall	2009-09-15
\|
*	Experimental changes to queue several commands at once and to allow ↵	David Aspinall	2009-09-10
\| \| \| \|	pre-processing of commands when they're queued from script
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Remove eval-when, seems unreliable	David Aspinall	2007-12-14
\|
*	Improve loading; these tests are not functioning yet	David Aspinall	2007-12-14
\|
*	Fix comment	David Aspinall	2007-02-28
\|
*	Added simple testing framework (in progress)	David Aspinall	2005-02-13