proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Adding some more standard utf8 symbols to indentation operator. We	Pierre Courtieu	2013-05-30
\| \| \| \|	really need some "operator" recognition here.
*	Fixing a minor bug in indetation (exists is tactic and a quantifier).	Pierre Courtieu	2013-05-29
\|
*	Fixed indentation in presence of "dot friends" like :?. etc.	Pierre Courtieu	2012-09-25
\|
*	Fixed a bug with function name "eval" (end of).	Pierre Courtieu	2012-09-06
\|
*	Fixed a bug with function name "eval".	Pierre Courtieu	2012-09-06
\|
*	Fixed an error when smie not present in the system.	Pierre Courtieu	2012-08-24
\|
*	Fixing compilation. Still need to verify some smie stuff on different ↵	Pierre Courtieu	2012-07-24
\| \| \| \|	versions of emacs.
*	Fixed a small bug in indentation + added new commands for queries with	Pierre Courtieu	2012-07-09
\| \| \| \|	Printing Implicit and Printing All flags.
*	Debugged coq indentation.	Pierre Courtieu	2012-07-07
\|
*	More fixes in coq indentation (2).	Pierre Courtieu	2012-07-06
\|
*	More fixes in coq indentation.	Pierre Courtieu	2012-07-06
\|
*	Indentation debugging for coq.	Pierre Courtieu	2012-07-05
\|
*	Code cleaning.	Pierre Courtieu	2012-07-05
\|
*	Fixed some indentation details for Coq.	Pierre Courtieu	2012-07-05
\|
*	Fixed some indentation bugs.	Pierre Courtieu	2012-07-03
\|
*	Fixed some small bugs in coq indentation.	Pierre Courtieu	2012-06-28
\|
*	Complete rework of the indentation mechanism using smie. The first	Pierre Courtieu	2012-06-28
	version of smie indentation code was a good first try but this one is much faster and cleaner. All desambiguations are done in the lexers, it is still a bit slow on large proofs. Some bugs remain to be fixed.