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
\|
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
\|
*	Better colours on dark frames	David Aspinall	2012-08-16
\|
*	Script mouse face highlighting: new faces/colours for commands and regions, ↵	David Aspinall	2010-09-08
\| \| \| \|	reinstate comment highlighting.
*	Make proof-boring-face a bit darker again so almost visible.	David Aspinall	2010-08-11
\|
*	Support custom syntactic fontification. Split out pa macros.	David Aspinall	2010-08-11
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.	David Aspinall	2009-11-28
\|
*	proof-script-error-face: remove underline	David Aspinall	2009-10-15
\|
*	Add proof-script-error-face	David Aspinall	2009-09-09
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Clean up and rearrange variable declaration files	David Aspinall	2009-08-28