proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Remove compile-time calls to proof-ready-for-assistant	Clément Pit--Claudel	2017-03-08
\| \| \| \| \|	Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el.
*	Fix incorrect assumption that noninteractive == byte-compiling	Clément Pit--Claudel	2017-03-08
\| \| \| \| \|	The PG Makefile does ensure (using --batch) that noninteractive is non-nil while compiling, but package.el doesn't.
*	Remove ref to file parsingcheck-412.v missing from CVS, so "make ↵	David Aspinall	2012-09-02
\| \| \| \|	coq.autotest" runs again
*	Extra test	David Aspinall	2011-12-27
\|
*	Note TODO for indent testing!	David Aspinall	2011-08-23
\|
*	Add etc/coq/parsingcheck-410.v to executed files	David Aspinall	2011-06-09
\|
*	Fix compile	David Aspinall	2011-04-26
\|
*	Fix so that make test.coq runs successfully.	David Aspinall	2011-04-26
\|
*	Old debug setting	David Aspinall	2011-01-31
\|
*	Add autotest-start with debug for now	David Aspinall	2011-01-26
\|
*	Remove proof-shell-wait that causes deadlock with new multiple-file code.	David Aspinall	2011-01-25
\|
*	Add multiple file test case	David Aspinall	2011-01-18
\|
*	set proof-auto-action-when-deactivating-scripting to 'retract,	David Aspinall	2011-01-18
\| \| \| \|	to stop new multiple file handling for Coq interactive queries
*	Add simple clear test for multiple files without require	David Aspinall	2010-09-08
\|
*	Make tests succeed, although still two or three underlying bugs	David Aspinall	2010-08-25
\|
*	More tests	David Aspinall	2010-08-13
\|
*	Update	David Aspinall	2010-08-03
\|
*	Fix compile warnings	David Aspinall	2009-09-16
\|
*	Fix compilation for Coq, including requires and some old/renamed settings.	David Aspinall	2009-09-10
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Fix compilation problems and rearrange startup settings for ↵	David Aspinall	2007-12-14
\| \| \| \|	coq-prog-name,coq-prog-args
*	Remove eval-when, seems unreliable	David Aspinall	2007-12-14
\|
*	Improve loading; these tests are not functioning yet	David Aspinall	2007-12-14
\|
*	Added simple testing framework (in progress)	David Aspinall	2005-02-13