proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove obsolete timings	David Aspinall	2010-08-19
\|
*	Profile 'pg' needed now too	David Aspinall	2009-12-01
\|
*	Updated.	David Aspinall	2009-08-28
\|
*	New files.	David Aspinall	2009-08-17
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2003-05-24
\|
*	Updated	David Aspinall	1999-10-06
\|
*	Notes on profiling.	David Aspinall	1999-10-06