proof-general - Emacs interface for proof assistants

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