proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Fixing #183.	Pierre Courtieu	2017-05-23
*	Fixing #147 and #91 + others indentation bugs.	Pierre Courtieu	2017-01-26
*	Fixed lazymatch and multimatch indentation/highlighting.	Pierre Courtieu	2015-03-23
*	Fixing indentation of pending curly braces.	Pierre Courtieu	2015-01-05
*	trying to indent pending forall in the expected way	Pierre Courtieu	2015-01-05
*	fixed indentation (lexing of 'with') + made local coq-load-path.	Pierre Courtieu	2014-12-30
*	fixed a bug in command parsing for coq, due to recent changes.	Pierre Courtieu	2014-12-24
*	* coq/coq-smie.el: Fix precedence of 'else'.	Stefan Monnier	2014-06-06
*	* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.	Stefan Monnier	2014-06-04
*	Rename coq-smie-lexer.el to coq-smie.el.	Stefan Monnier	2014-06-03
*	Fixing another bug in indentation concerning "where". Actually there	Pierre Courtieu	2013-07-11
*	Fixed incorrect syntax of previous commit.	Pierre Courtieu	2012-07-10
*	Indentation is a bit more accurate.	Pierre Courtieu	2012-06-08
*	Fix indentation of dependent match clauses (as ... in ... return ...).	Pierre Courtieu	2012-06-07
*	One more fix for indentation.	Pierre Courtieu	2012-06-04
*	Fix a bug of indentation.	Pierre Courtieu	2012-06-03
*	Fixed an ineficiency in comment detection.	Pierre Courtieu	2012-02-10
*	Fixing the scripting of new subproof script parenthesizing ({ and }).	Pierre Courtieu	2011-07-08
*	Some more sample indentation patterns added.	Pierre Courtieu	2011-07-01
*	oops, undo last commit.	Pierre Courtieu	2011-06-17
*	Fix trac #410.	Pierre Courtieu	2011-06-10
*	Added one indentation example.	Pierre Courtieu	2011-06-08
*	Updated the old code for indentation, in case Stefan cannot finish the	Pierre Courtieu	2011-06-04
*	Fixed small bugs in indentation.	Pierre Courtieu	2010-09-09