proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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.
*	Note about declare-function	David Aspinall	2011-01-30
\|
*	Experimental changes to queue several commands at once and to allow ↵	David Aspinall	2009-09-10
\| \| \| \|	pre-processing of commands when they're queued from script
*	Updated.	David Aspinall	2008-01-25
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	New files.	David Aspinall	2004-04-14