proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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.