proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Test case	David Aspinall	2010-09-27
\|
*	* empty log message *	David Aspinall	2010-09-24
\|
*	add notes	David Aspinall	2010-09-22
\|
*	Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140	David Aspinall	2010-09-22
\|
*	* empty log message *	David Aspinall	2010-08-30
\|
*	proof-script-command-end-regexp: allow any non-letter after a period	David Aspinall	2010-08-24
\| \| \| \| \|	to terminate a command, fixing #296 (and hopefully not messing up other cases).
*	Add test case	David Aspinall	2009-12-01
\|
*	Add pointer	David Aspinall	2009-10-16
\|
*	* empty log message *	David Aspinall	2009-10-16
\|
*	Coq test	David Aspinall	2009-09-10
\|
*	Add bug ref	David Aspinall	2009-09-05
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	New files.	David Aspinall	2008-07-06
\|
*	Trac regressions	David Aspinall	2008-07-05