aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* Support proof-shell-init-cmd being a listGravatar David Aspinall2010-09-29
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Reduce quit timeout to sensible valueGravatar David Aspinall2010-08-24
* proof-shell-process-connection-type: Revert to long-lived previous default of...Gravatar David Aspinall2010-08-19
* proof-shell-process-connection-type: remove near obsolete test and textGravatar David Aspinall2010-08-18
* Clean up handling of pending interrupts, remove experimental proof-shell-inte...Gravatar David Aspinall2010-08-17
* proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...Gravatar David Aspinall2010-08-15
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* docstringGravatar David Aspinall2009-12-04
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*...Gravatar Makarius Wenzel2009-11-30
* raised proof-shell-quit-timeout to accomodate bulky write-back images;Gravatar Makarius Wenzel2009-11-29
* Remove doc mention of obsolete function `pg-assoc-analyse-structure'.Gravatar David Aspinall2009-11-28
* proof-script-use-old-parser: remove configuration option and cleanupGravatar David Aspinall2009-10-15
* Remove `next-entity' settings for func-menu.Gravatar David Aspinall2009-10-14
* TypoGravatar David Aspinall2009-09-28
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* Fix docsGravatar David Aspinall2009-09-11
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positionsGravatar David Aspinall2009-09-09
* p-s-classify-output -> p-s-handle-output, and simplify system-specific hookGravatar David Aspinall2009-09-09
* proof-shell-quiet-errors: move to user opts custom groupGravatar David Aspinall2009-09-09
* proof-kill-goal-command: default to nil, not empty stringGravatar David Aspinall2009-09-08
* Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...Gravatar David Aspinall2009-09-08
* Fix docstrings, remove spurious nullGravatar David Aspinall2009-09-08
* Change type of proof-shell-process-file, proof-shell-compute-new-files-listGravatar David Aspinall2009-09-06
* Clarify that eager message matches are now anchoredGravatar David Aspinall2009-09-06
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char.Gravatar David Aspinall2009-09-06
* CommentGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Add proof-script-evaluate-elisp-comment-regexp security hole.Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references; update docs.Gravatar David Aspinall2009-09-01
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* proof-one-command-per-line: change default, use in proof-insert-pbp-command.Gravatar David Aspinall2009-08-20
* proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsGravatar David Aspinall2009-08-20
* DocstringsGravatar David Aspinall2009-08-19
* TidyGravatar David Aspinall2009-08-17
* Fix proof-next-error key bindingGravatar David Aspinall2009-08-17
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.Gravatar David Aspinall2009-08-13
* proof-full-annotation: change defaultGravatar David Aspinall2009-08-07
* Name changes and tweaks: proof-full-decoration -> proof-full-decoration,Gravatar David Aspinall2009-08-07
* New configuration variable proof-use-pgip-askprefs. Use setting group names ...Gravatar David Aspinall2009-08-06
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26