proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	a little change in coq/x-symbol, nothing	Pierre Courtieu	2000-09-29
\|
*	Added Uncaught exception errors in coq-error-regexp.	Pierre Courtieu	2000-09-29
\|
*	nothing important, I forgot to undo something before my last commit in	Pierre Courtieu	2000-08-26
\| \| \| \|	coq/x-symbol-coq.el
*	Some changes for undoing with coq, handle user-defined tactics, in	Pierre Courtieu	2000-08-26
\| \| \| \|	coq/coq-syntax.el and coq/coq.el.
*	enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is,	Pierre Courtieu	2000-08-14
\| \| \| \|	one problem remains: a word ending with phi will be encoded.
*	Updated headers.	David Aspinall	2000-03-09
\|
*	Remove xi, appears in exists.	David Aspinall	1999-11-15
\|
*	Added some greek letters. A mess if they occur in words.	David Aspinall	1999-11-15
\|
*	Experiment with X-Symbol support for Coq.	David Aspinall	1999-11-13