aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-useropts.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* small typo fixesGravatar Hendrik Tews2012-11-13
* Fixed a bug in three windows mode.Gravatar Pierre Courtieu2012-09-25
* Three windows mode is back as the default mode.Gravatar Pierre Courtieu2012-08-31
* Changed the behaviour of proof-layout-windows. Now it follows theGravatar Pierre Courtieu2012-08-31
* Setting nil by default the option to create resp and goals bufferGravatar Pierre Courtieu2012-08-31
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* fix #426Gravatar Hendrik Tews2011-09-27
* proof-full-annotation: default to nilGravatar David Aspinall2011-09-18
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* proof-fast-process-buffer: set to t also on Windows.Gravatar David Aspinall2011-01-25
* Add preliminary support for multiple files for coq.Gravatar Hendrik Tews2011-01-12
* Use parser cache by default.Gravatar David Aspinall2010-10-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 22:06:32 +0000