proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	pg-autotest-find-file-restart: wait for retraction to complete.	David Aspinall	2010-09-08
\|
*	Simplify	David Aspinall	2010-08-27
\|
*	proof-debug advice: Fix passing format arg	David Aspinall	2010-08-18
\|
*	quit-prover: avoid kill buffer query question	David Aspinall	2010-08-17
\|
*	Extend testing	David Aspinall	2010-08-11
\|
*	Add timestamps. Fix random jump spurious error.	David Aspinall	2010-08-08
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Simplify messaging code. Make sure random jumps do something. Fix ↵	David Aspinall	2010-08-03
\| \| \| \|	assert-processed to wait for shell.
*	Improve printing of test parameters.	David Aspinall	2010-08-03
\| \| \| \|	Add `pg-autotest-test-assert-full' for current buffer w/o file.
*	Resurrect autotest framework	David Aspinall	2010-08-03
\|
*	Replace proof-locked-end -> proof-unprocessed-begin	David Aspinall	2009-11-30
\|
*	Clean compile	David Aspinall	2009-09-10
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Fix requires	David Aspinall	2008-01-17
\|
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	Improve loading; these tests are not functioning yet	David Aspinall	2007-12-14
\|
*	Added simple testing framework (in progress)	David Aspinall	2005-02-13