proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Bump Emacs version	David Aspinall	2009-05-26
\|
*	Updated	David Aspinall	2009-05-26
\|
*	Note about Emacs.app	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-19
\|
*	Mac OS: default to XSymb1.ttf;	Makarius Wenzel	2008-07-18
\|
*	Updated.	David Aspinall	2008-07-10
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-27
\|
*	Updated.	David Aspinall	2008-01-26
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	Documentation.	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	Compatibility notes	David Aspinall	2007-01-03