proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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