proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
\|
*	Illustrat Trac #447	David Aspinall	2012-08-27
\|
*	Change linebreaks as Hendrik would like, not wiki formatted(!)	David Aspinall	2011-06-09
\|
*	parsing check from Trac #410	David Aspinall	2011-06-09
\|
*	Add simple clear test for multiple files without require	David Aspinall	2010-09-08
\|
*	Update for current Coq syntax	David Aspinall	2010-09-06
\|
*	* empty log message *	David Aspinall	2009-09-17
\|
*	New files.	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-01-25
\|
*	Patch and cleanup for Coq indent code, see ↵	David Aspinall	2008-01-25
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/173
*	Deleted file	David Aspinall	2008-01-24
\|
*	New files.	David Aspinall	2007-12-13
\|
*	Renamed file	David Aspinall	2007-12-13
\|
*	Patch for buggy derived.el in XEmacs 21.5.b28	David Aspinall	2007-12-09
\|
*	New files.	David Aspinall	2007-12-08
\|
*	New files.	David Aspinall	2007-09-17
\|
*	Updated.	David Aspinall	2007-05-25
\|
*	New files.	David Aspinall	2007-05-25
\|
*	Update test files	David Aspinall	2004-04-24
\|
*	New files.	David Aspinall	2004-04-22
\|
*	New files.	David Aspinall	2004-04-14
\|
*	Test cases for Coq indentation.	David Aspinall	2004-02-29
\|
*	New files.	David Aspinall	2003-02-05
\|
*	Deleted files.	David Aspinall	2002-09-11
\|
*	New files.	David Aspinall	2002-09-11
\|
*	Add comment at end	David Aspinall	2002-09-11
\|
*	New files.	David Aspinall	2002-08-30
\|
*	Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.	David Aspinall	2002-07-18
\|
*	Record bug as solved.	David Aspinall	2002-07-18
\|
*	New files.	David Aspinall	2002-07-18
\|
*	Add nested section example to increase the horror.	David Aspinall	2002-06-19
\|
*	Added End for sections, and silly test	David Aspinall	2002-06-19
\|
*	Added some non-undoable tactics	David Aspinall	2002-06-18
\|
*	Added some sections	David Aspinall	2002-06-18
\|
*	Fix	David Aspinall	2002-06-18
\|
*	Add more declarations	David Aspinall	2002-06-18
\|
*	More test cases, summary of situation.	David Aspinall	2002-06-12
\|
*	Note of another bug	David Aspinall	2002-06-12
\|
*	Add test t4 for extra depth of nesting	David Aspinall	2002-06-12
\|
*	Replace with example from Pierre	David Aspinall	2002-06-11
\|
*	New files.	David Aspinall	2002-06-11
\|
*	Explanation	David Aspinall	2001-08-31
\|
*	* empty log message *	David Aspinall	2000-12-14
\|
*	Updated to use Require commands	David Aspinall	2000-12-14
\|
*	Updated multiple file notes.	David Aspinall	1999-11-08
\|
*	Trivial tests for auto multiple files.	David Aspinall	1999-10-25
\|
*	Test for Unnamed_thm.	David Aspinall	1999-10-06