proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Remove development note	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-27
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Mention span menu improvements.	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-09
\|
*	Updated.	David Aspinall	2002-08-08
\|
*	Updates	David Aspinall	2002-08-08
\|
*	Changed a bit more the doc and the CHANGES file, to be	Pierre Courtieu	2002-07-26
\| \| \| \|	consitent. Concerns the coq-user... variables.
*	Mention fav improvs	David Aspinall	2002-07-19
\|
*	Mention experimental nature	David Aspinall	2002-07-18
\|
*	Mention known probs in prerel	David Aspinall	2002-07-18
\|
*	Mention term highlighting	David Aspinall	2002-07-17
\|
*	Minor	David Aspinall	2002-07-16
\|
*	Update, cleanup	David Aspinall	2002-06-30
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Updated the doc and the CHANGES file about new backtracking for Coq.	Pierre Courtieu	2002-06-19
\|
*	Changed the CHANGES file for Coq.	Pierre Courtieu	2002-06-12
\|
*	Not important.	Pierre Courtieu	2002-06-11
\|
*	CHANGE is cleaner in the Coq part! Not important.	Pierre Courtieu	2002-06-11
\|
*	Added changes in CHANGE about my new customization variables	Pierre Courtieu	2002-06-11
\| \| \| \|	coq-user-backable-command etc.
*	Note about removing dirs	David Aspinall	2002-06-08
\|
*	Updates	David Aspinall	2002-05-03
\|
*	Remove indents	David Aspinall	2002-04-24
\|
*	Add syntax highlighting cahanges from Lucas Dixon	David Aspinall	2002-04-23
\|
*	Improvement to ACL2	David Aspinall	2002-03-21
\|
*	Updated.	David Aspinall	2002-03-21
\|
*	Update X-Sym status	David Aspinall	2002-02-23
\|
*	Describe tracing improvements.	David Aspinall	2002-01-15
\|
*	Fix number	David Aspinall	2002-01-11
\|
*	Note about Emacs 21 support and font lock.	David Aspinall	2001-12-11
\|
*	Note of Emacs 21 support	David Aspinall	2001-12-11
\|
*	Update for 3.4pre	David Aspinall	2001-12-04
\|
*	Add back note.	David Aspinall	2001-10-08
\|
*	Remove note for devel	David Aspinall	2001-10-04
\|
*	Devel release is tweaked 3.3	David Aspinall	2001-09-24
\|
*	No changes msg	David Aspinall	2001-09-13
\|
*	Backtrack to previous CHANGES file for now.	David Aspinall	2001-09-09
\|
*	No changes yet	David Aspinall	2001-09-09
\|
*	Updated	David Aspinall	2001-09-05
\|
*	Updates	David Aspinall	2001-09-04
\|
*	Updated	David Aspinall	2001-09-03
\|
*	Note about tracing buffers for developers	David Aspinall	2001-09-03
\|
*	Improved explanation	David Aspinall	2001-08-31
\|
*	Added note about dependency feature.	David Aspinall	2001-08-31
\|
*	Clarify 6.3.1 for multi file	David Aspinall	2001-08-30
\|
*	More about invisible proofs and multiple files in Coq. X-symbol compat	David Aspinall	2001-08-30
\|
*	Minibuffer contents bug fix	David Aspinall	2001-08-17
\|
*	Move visibility item up, removed "in progress"	David Aspinall	2001-08-16
\|