proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-02-22
\|
*	Updated.	David Aspinall	2003-02-19
\|
*	Updated.	David Aspinall	2003-02-19
\|
*	Mention adding MMM mode	David Aspinall	2003-02-17
\|
*	Grumpy note	David Aspinall	2003-02-05
\|
*	Updated.	David Aspinall	2003-02-05
\|
*	Add followdown	David Aspinall	2002-12-29
\|
*	Updated.	David Aspinall	2002-11-28
\|
*	Fix typo.	David Aspinall	2002-09-11
\|
*	Updated.	David Aspinall	2002-09-11
\|
*	Updated.	David Aspinall	2002-09-11
\|
*	Updated.	David Aspinall	2002-08-31
\|
*	Updated.	David Aspinall	2002-08-31
\|
*	Updated.	David Aspinall	2002-08-30
\|