proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)	Jason Gross	2017-01-17
*	Merge pull request #107 from JasonGross/patch-3	hendriktews	2017-01-17
\|\
* \|	fix coq-require-command-regexp (fixes #75)	Hendrik Tews	2016-10-28
\| *	Add Context to coq-syntax.el	Jason Gross	2016-09-01
\|/
*	Add Reserved Infix like Reserved Notation (#95)	Jason Gross	2016-08-14
*	Adding the option to highlight susual symbols.	Pierre Courtieu	2016-07-22
*	Highlight Existing Class like Existing Instance (#85)	Jason Gross	2016-07-03
*	Highlight [nra] like [nia] and [lia] and [lra] (#84)	Jason Gross	2016-07-01
*	Color lia, romega, nia, psatz, nsatz, lra	Jason Gross	2016-06-10
*	abbrev twivking.	Pierre Courtieu	2016-06-08
*	Fixing font-locking of unicode forall etc.	Pierre Courtieu	2016-06-08
*	Fixing a smal glitch in indentation.	Pierre Courtieu	2016-05-27
*	Merge branch 'master' of github.com:ProofGeneral/PG	Pierre Courtieu	2016-05-20
\|\
* \|	Fix #72+ make user keywords prioritized over default ones.	Pierre Courtieu	2016-05-20
\| *	Merge branch 'master' of github.com:ProofGeneral/PG	Clément Pit--Claudel	2016-05-16
\| \|\ \| \|/ \|/\|
\| *	coq-syntax: Add a debug spec	Clément Pit--Claudel	2016-05-16
* \|	Fixing detection of symbol at point.	Pierre Courtieu	2016-05-02
\|/
*	Adding more keywords (Local xxx).	Pierre Courtieu	2016-03-09
*	Highlight ltac:(), constr:(), and uconstr:()	Clément Pit--Claudel	2016-03-05
*	Adding missing keywords	Pierre Courtieu	2016-02-18
*	fix #36.	Pierre Courtieu	2016-01-19
*	Introduce a coq-question-mark-face	Clément Pit--Claudel	2015-11-23
*	Fixed the regexp for colorizing hyps in the goal.	Pierre Courtieu	2015-10-15
*	Trying to deal with debug mode.	Pierre Courtieu	2015-10-06
*	colorizing hypothesis in compact mode.	Pierre Courtieu	2015-09-29
*	hyps highlighting now supports compact contexts (in coq trunk soon).	Pierre Courtieu	2015-09-22
*	Fixes #492. fixed regexp (\\< --> \\_< everywhere).	Pierre Courtieu	2015-05-07
*	Fixes #484. Added syntax.	Pierre Courtieu	2015-05-07
*	bold unicode biders + Fixing highlighting in goals and response buffers + cle...	Pierre Courtieu	2015-04-14
*	Debugging font-lock for ∀, ∃, and λ.	Pierre Courtieu	2015-04-13
*	Added unicode forall in font-lock regexps.	Pierre Courtieu	2015-04-10
*	Fixed coq-id definition to be correct wrt to coq grammar.	Pierre Courtieu	2015-04-07
*	Fixed highlighting of evars.	Pierre Courtieu	2015-04-07
*	Fix disable evar colorizing in coq file.	Pierre Courtieu	2015-03-27
*	Colorizing hyps names robustified. Still incomplete.	Pierre Courtieu	2015-03-26
*	Fixed a smal bug in colorizing response buffer.	Pierre Courtieu	2015-03-26
*	fixed gfail hilighting.	Pierre Courtieu	2015-03-24
*	added some keywords	Pierre Courtieu	2015-03-24
*	Highlighting evars.	Pierre Courtieu	2015-03-23
*	Fixed lazymatch and multimatch indentation/highlighting.	Pierre Courtieu	2015-03-23
*	Some comments for future work.	Pierre Courtieu	2015-03-13
*	Added a command to send Queries to coq, with completion (C-c C-a C-q).	Pierre Courtieu	2015-03-13
*	Fixed Proof end/start detection on Proof using ...	Pierre Courtieu	2015-03-04
*	Fixed a bug in syntax table making fontlock and indentation fail.	Pierre Courtieu	2015-02-23
*	Fix colorization of for coq multiple hypothesis on the same line.	Pierre Courtieu	2015-02-05
*	Fixed previous commit (wrong regexp).	Pierre Courtieu	2015-02-04
*	coloring names in resposne and goals	Pierre Courtieu	2015-02-03
*	beautified a bit error messages.	Pierre Courtieu	2015-02-03
*	* coq/coq-smie.el: Fix precedence of 'else'.	Stefan Monnier	2014-06-06
*	Fixing #477. Adding Proposition as a goal-starter keyword.	Pierre Courtieu	2013-07-10