proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	First fix of bug introduced by the last font-lock fix. Not finished.	Pierre Courtieu	2010-09-03
\|
*	Style fixes	David Aspinall	2010-08-30
\|
*	Added some more syntax keywords. Made admit tactic with its own red	Pierre Courtieu	2009-09-17
\| \| \| \|	culpabilizing face.
*	Fix compile warnings	David Aspinall	2009-09-16
\|
*	Require cl for compilation. Rearrange docs.	David Aspinall	2009-09-07
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Made customizable holes mode completion in abbreviations.	Pierre Courtieu	2009-08-31
\|
*	Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan	Pierre Courtieu	2008-10-22
\| \| \| \|	Monnier.
*	Fixed a problem with a wrong side effect on syntax databases (when	Pierre Courtieu	2008-01-28
\| \| \| \|	sorting for menus).
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Fixed abbrev installation. + small fixes.	Pierre Courtieu	2008-01-03
\|
*	Require for defface macro	David Aspinall	2007-12-14
\|
*	Fix compilation problems and rearrange startup settings for ↵	David Aspinall	2007-12-14
\| \| \| \|	coq-prog-name,coq-prog-args
*	adding coq-solve tactics	Assia Mahboubi	2007-11-20
\|
*	Menu are now correctly sorted.	Pierre Courtieu	2007-11-07
\|
*	Debugging font-lock regexps. Bad order: longer regexp should be put	Pierre Courtieu	2007-11-07
\| \| \| \|	first.
*	Fixed small colorizing bugs (when keywords contain sub words colorized	Pierre Courtieu	2007-10-30
\| \| \| \|	in another color). Reported by Assia Mahboubi.
*	Updated.	David Aspinall	2006-09-07
\|
*	Small fixes.	Pierre Courtieu	2006-08-25
\|
*	Changed default coq version (8.1)	Pierre Courtieu	2006-08-25
\| \| \| \|	Small fixes in docstrings.
*	Cleaning in coq and lib, fixed licenses and docstrings.	Pierre Courtieu	2006-08-23
	Added one or two details to docstring of generic variables.