aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-useropts.el
Commit message (Expand)AuthorAge
* proof-script-command-separator: remove; proof-one-command-per-line becomes pr...Gravatar David Aspinall2010-10-01
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* proof-fast-process-buffer: switch on by default if looks like Mac port (ns fe...Gravatar David Aspinall2010-08-22
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.Gravatar David Aspinall2010-08-03
* proof-full-annotation: default to t; advanced users may turn off.Gravatar David Aspinall2010-08-03
* Add new option `proof-sticky-errors'.Gravatar David Aspinall2009-11-28
* proof-strict-read-only: Experimental change to defaultGravatar David Aspinall2009-09-14
* Make quiet by default. Improve docs.Gravatar David Aspinall2009-09-11
* Default to disabling minibuffer messagesGravatar David Aspinall2009-09-10
* Add `proof-minibuffer-messages'Gravatar David Aspinall2009-09-10
* proof-shell-quiet-errors: move to user opts custom groupGravatar David Aspinall2009-09-09
* proof-allow-undo-in-read-only: change default to nil for new implementationGravatar David Aspinall2009-09-05
* Default `proof-full-annotation' to off to cause least surprise to upgradersGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Update docsGravatar David Aspinall2009-08-31
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28