proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
\|
*	Use proof-add-to-load-path to extend load-path. This way,	Hendrik Tews	2012-05-08
\| \| \| \| \|	distributions with specific requirements (such as Debian with debian-pkg-add-load-path-item) only need to patch one function.
*	Move location of mmm	David Aspinall	2010-08-27
\|
*	Clean compile	David Aspinall	2009-09-10
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Fix for deferred loading of maths menu and unicode tokens.	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Disable Unicode Tokens 2	David Aspinall	2008-07-10
\|
*	TEMPORARY: add unicode-tokens2 mechanism to test across different machines	David Aspinall	2008-07-05
\|
*	New files.	David Aspinall	2008-02-06