proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Junk proof-xsym-toggle-hook	David Aspinall	1999-11-18
\|
*	Updates	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-12
\|
*	Next round of fixups for font-lock and x-symbol.	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Patches for urgent message processing.	David Aspinall	1999-11-11
\|
*	Junk code	David Aspinall	1999-11-10