proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	added information about optional "Find Theorems" form;	Makarius Wenzel	2007-06-13
\|
*	Comment on remove of proof-indent-pad-eol	David Aspinall	2007-05-15
\|
*	Clarify buf hist activation.	David Aspinall	2007-05-15
\|
*	tuned Isabelle entry;	Makarius Wenzel	2007-05-08
\|
*	Updated.	David Aspinall	2007-02-28
\|
*	Update, note about Isabelle 2004	David Aspinall	2006-12-11
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Updated.	David Aspinall	2006-09-12
\|
*	update CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated	David Aspinall	2005-09-30
\|
*	added note for large x-symbols;	Makarius Wenzel	2005-09-15
\| \| \| \|	added proof-shell-unicode;
*	Updated.	David Aspinall	2005-03-25
\|
*	Mention Stefan's patches	David Aspinall	2005-03-21
\|
*	Updated for 3.6 release	David Aspinall	2004-08-25
\|
*	point to Coq/README for syntax.	David Aspinall	2004-05-07
\|
*	Updated.	David Aspinall	2004-04-24
\|
*	deleted coq x symbols doc in CHANGES.	Pierre Courtieu	2004-04-23
\|
*	Tweak some text	David Aspinall	2004-04-21
\|
*	Updated.	David Aspinall	2004-04-18
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	little change in CHANGES and in coq syntax table.	Pierre Courtieu	2004-04-15
\|
*	fixed some words in coq changes.	Pierre Courtieu	2004-04-15
\|
*	Add support for Imenu. Fix other bits here.	David Aspinall	2004-04-14
\|
*	Mention new instances of PG.	David Aspinall	2004-04-13
\|
*	updated CHANGES for Coq	Pierre Courtieu	2004-04-05
\|
*	added coq changes for 3.5 release.	Pierre Courtieu	2004-04-05
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	Updated.	David Aspinall	2004-03-23
\|
*	Mention new RPM packages	David Aspinall	2004-03-01
\|
*	Note about desktop integration	David Aspinall	2004-02-28
\|
*	Updates of X-Symbol mode text	David Aspinall	2004-02-28
\|
*	Fix web addresses	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2003-10-05
\|
*	Updated.	David Aspinall	2003-09-24
\|
*	Updated.	David Aspinall	2003-06-08
\|
*	Updated.	David Aspinall	2003-06-05
\|
*	Updated.	David Aspinall	2003-05-24
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Updated.	David Aspinall	2003-03-17
\|
*	Updated.	David Aspinall	2003-03-10
\|
*	Remove newlines patch for Coq	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|