proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fixed a bug with function name "eval" (end of).	Pierre Courtieu	2012-09-06
\|
*	Fix lambda quote	David Aspinall	2012-08-16
\|
*	Summary: coq-smie: improve indentation.	Stefan Monnier	2011-06-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* coq.el (coq-smie-grammar): Add rules for {\|...\|}, Let, Record, Module..End, Section..End, and BeginSubproof..EndSubproof. (coq-smie-search-token): New function. (coq-smie-forward-token, coq-smie-backward-token): Recognize {\| and \|}. Distinguish Module definition from Module introduction. Merge "Module Type" and "Module". (coq-smie-rules): Refine list-intro. Improve indentation after "with". Add Function, Let and Record to the := case. Indent within Module..End and friends. Improve indentation of record def. Indent forall's body by 2. Better indent Lemmas. * coq-db.el (coq-build-abbrev-table-from-db): Mark those abbrevs as `system'. * coq-abbrev.el (coq-install-abbrevs): Don't bind save-abbrevs since it's not needed any more.
*	Fixes in strings/comments from Erik Martin-Dorel	David Aspinall	2010-10-04
\|
*	Fixed colorization bug #356, introduced by a previous fix of bug 140.	Pierre Courtieu	2010-09-28
\|
*	Fix some bugs in coq regexp generation	David Aspinall	2010-09-22
\|
*	Fix compile	David Aspinall	2010-09-08
\|
*	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.