proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix compile errors	David Aspinall	2009-09-15
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	XEmacs 21.4.15 does not seem to know propertize	weber	2007-05-17
\|
*	Fix rename	weber	2007-05-11
\|
*	Fix rename	weber	2007-05-11
\|
*	works with XEmacs now (ticket #115)	weber	2007-05-11
\|
*	Fix rename	David Aspinall	2007-05-11
\|
*	Renamed file	David Aspinall	2007-05-11