proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Should fix #49 and #55 (compilation of From .. Require).	Pierre Courtieu	2016-03-08
*	Refactoring. New file coq-system.el.	Pierre Courtieu	2015-12-14
*	Small refactoring of coqxxx args detection.	Pierre Courtieu	2015-12-14
*	Fixing coq-prog-arg for auto compilation.	Pierre Courtieu	2015-12-14
*	compilation fix (coq-pre-v85).	Pierre Courtieu	2015-11-13
*	coq-pre-v85 option to fix coqdep invocation in [compile before require].	Pierre Courtieu	2015-11-02
*	Coqtop always restarted when switching script buffer.	Pierre Courtieu	2015-03-03
*	Fixed read-only error for compile before require option.	Pierre Courtieu	2015-02-11
*	Fix coq project parsing and interpreting for coq v8.5.	Pierre Courtieu	2015-01-27
*	fixed indentation (lexing of 'with') + made local coq-load-path.	Pierre Courtieu	2014-12-30
*	- fix asserting when parallel background compilation is in progress	Hendrik Tews	2013-01-03
*	all-cpus option for coq-max-background-compilation-jobs	Hendrik Tews	2012-11-14
*	update documentation	Hendrik Tews	2012-11-14
*	- first version of parallel asynchronous compilation for coq in	Hendrik Tews	2012-11-13
*	move ancestor locking back into specific part	Hendrik Tews	2012-11-06
*	move ancestor locking/unlocking to coq-compile-common	Hendrik Tews	2012-11-05
*	move buffer saving to coq-compile-common	Hendrik Tews	2012-11-05
*	make coq-include-options independent of current buffer	Hendrik Tews	2012-11-03
*	move another 2 functions into coq-compile-common	Hendrik Tews	2012-11-03
*	move function for coq-compile-response-buffer to coq-compile-common.el	Hendrik Tews	2012-11-01
*	move some more material into coq-compile-common	Hendrik Tews	2012-10-30
*	move general part of compilation into coq-compile-common.el	Hendrik Tews	2012-10-30