proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	debugged the indentation of coq (bug report of Batsiaan Zapf august	Pierre Courtieu	2004-08-30
\| \| \| \| \|	3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline).
*	modified the syntax for subscript in coq/pg	Pierre Courtieu	2004-04-23
\|
*	Update to Coq 8.0 syntax	David Aspinall	2004-04-22
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	added an example fils for coq x-symbols.	Pierre Courtieu	2004-04-16