proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-script-command-separator: remove; proof-one-command-per-line becomes ↵	David Aspinall	2010-10-01
\| \| \| \|	prover specific.
*	Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵	David Aspinall	2010-08-27
\| \| \| \|	(i.e., automatic preview of next command)
*	proof-fast-process-buffer: switch on by default if looks like Mac port (ns ↵	David Aspinall	2010-08-22
\| \| \| \|	feature)
*	Add Fast Process Buffer option	David Aspinall	2010-08-19
\|
*	Preliminary and experimental support for automatically sending commands.	David Aspinall	2010-08-15
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.	David Aspinall	2010-08-03
\|
*	proof-full-annotation: default to t; advanced users may turn off.	David Aspinall	2010-08-03
\|
*	Add new option `proof-sticky-errors'.	David Aspinall	2009-11-28
\|
*	proof-strict-read-only: Experimental change to default	David Aspinall	2009-09-14
\|
*	Make quiet by default. Improve docs.	David Aspinall	2009-09-11
\|
*	Default to disabling minibuffer messages	David Aspinall	2009-09-10
\|
*	Add `proof-minibuffer-messages'	David Aspinall	2009-09-10
\|
*	proof-shell-quiet-errors: move to user opts custom group	David Aspinall	2009-09-09
\|
*	proof-allow-undo-in-read-only: change default to nil for new implementation	David Aspinall	2009-09-05
\|
*	Default `proof-full-annotation' to off to cause least surprise to upgraders	David Aspinall	2009-09-05
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Update docs	David Aspinall	2009-08-31
\|
*	Clean up and rearrange variable declaration files	David Aspinall	2009-08-28