proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	fix generic interrupt procedure to interrupt parallel background compilation	Hendrik Tews	2016-12-14
*	fix race in vio2vo compilation start	Hendrik Tews	2016-12-14
*	Merge pull request #129 from hendriktews/keep-going	hendriktews	2016-12-14
\|\
* \	Merge pull request #132 from Matafou/master	Pierre Courtieu	2016-12-14
\|\ \
\| * \|	Same name guessing for coqc/coqdep then for coqtop.	Pierre Courtieu	2016-12-13
\| * \|	remove default absolute name from coq-prog-name, but keep dipsplaying it when...	Pierre Courtieu	2016-12-12
\| \| *	documentation and CHANGES for coq-compile-keep-going	Hendrik Tews	2016-12-08
\| \| *	option coq-compile-keep-going for parallel compilation	Hendrik Tews	2016-12-08
\| \| *	remove ancestor hash in Coq parallel background compilation	Hendrik Tews	2016-12-02
\| \|/ \|/\|
* \|	fix customize-group coq	Hendrik Tews	2016-11-30
* \|	style change: use when for if coq-debug-auto-compilation	Hendrik Tews	2016-11-30
* \|	use coq-- for internal compilation variables	Hendrik Tews	2016-11-30
* \|	next-error support for vio2vo error messages	Hendrik Tews	2016-11-30
* \|	update documentation	Hendrik Tews	2016-11-29
* \|	delay vio2vo compilation	Hendrik Tews	2016-11-29
* \|	8.4 compatibility for quick support	Hendrik Tews	2016-11-29
* \|	don't unnecessarily delete .vio files for ensure-vo	Hendrik Tews	2016-11-29
* \|	support vio2vo background processing	Hendrik Tews	2016-11-29
* \|	improve compilation when both .vio and .vo are up-to-date	Hendrik Tews	2016-11-22
* \|	reconcile menu for auto compilation	Hendrik Tews	2016-11-18
* \|	fix parallel compilation for the unlikely case of identical time stamps	Hendrik Tews	2016-11-17
* \|	first version for quick compilation	Hendrik Tews	2016-11-16
\|/
*	avoid leaving partial files behind when compilation fails	Hendrik Tews	2016-11-10
*	fix #123, also improve debugging output	Hendrik Tews	2016-11-02
*	ensure coq-compile-response-buffer is not in a dedicated window	Hendrik Tews	2016-10-28
*	fix coq-require-command-regexp (fixes #75)	Hendrik Tews	2016-10-28
*	fix typo in last commit	Hendrik Tews	2016-10-28
*	give a more helpful error message if Coq version detection fails	Hendrik Tews	2016-10-27
*	fix parallel compilation and improve assertions and debugging code	Hendrik Tews	2016-10-27
*	Make it possible to work around #113	Clément Pit--Claudel	2016-09-28
*	Make shell and perl scripts executable.	Erik Martin-Dorel	2016-09-19
*	Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).	Erik Martin-Dorel	2016-08-14
*	Replace "Set Implicit Arguments" option with "Set Printing Implicit".	Erik Martin-Dorel	2016-08-14
*	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
*	Fix a typo	Clément Pit--Claudel	2016-06-23
*	par-compile: Don't try to compile plugins (cm.*)	Clément Pit--Claudel	2016-06-23
*	Fix a type error hidden until recent emacs.	Pierre Courtieu	2016-06-23
*	Coq: option to prefer top over bottom of concl.	Pierre Courtieu	2016-06-23
*	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
\| *	Fail silently if Coq's version can't be detected	Clément Pit--Claudel	2016-05-19
\| *	Merge branch 'master' of github.com:ProofGeneral/PG	Clément Pit--Claudel	2016-05-16
\| \|\ \| \|/ \|/\|
\| *	Don't offer "" as the default in C-c C-c C-a	Clément Pit--Claudel	2016-05-16