aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* 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
* Fixing #154.Gravatar Pierre Courtieu2017-02-23
* fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* proof-retract-command-hook added + more auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-13
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* Fixing 4096 character limit of scomint-send-input.Gravatar Pierre Courtieu2015-10-09
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* Fixed response display spurious newlines for coq.Gravatar Pierre Courtieu2014-12-18
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* proof-shell-process-connection-type: try using pipes by default in Emacs 24,Gravatar David Aspinall2012-09-14
* Improve configuration for HOL Light. Allow goals display to be prefixed by i...Gravatar David Aspinall2012-01-09
* proof-shell-end-goals-regexp doc: fix inaccuracy, goals always startGravatar David Aspinall2012-01-09
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* fix a log of broken customization typesGravatar Hendrik Tews2011-12-06
* Quick stab at support for switching to proof shell when interactive support e...Gravatar David Aspinall2011-11-15
* To fix pgshell mode, restore proof-shell-insert support for a single string a...Gravatar David Aspinall2011-10-13
* - flushed proof-done-advancing-require-function andGravatar Hendrik Tews2011-05-05
* proof-shell-insert-hook: Clean docstring, addressing #396.Gravatar David Aspinall2011-04-13
* Make proof-shell-quit-timeout a prover-specific customize option, default to ...Gravatar David Aspinall2011-01-23
* Fix typoGravatar David Aspinall2011-01-23
* - fixed compilation errorsGravatar Hendrik Tews2011-01-18
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Add preliminary support for multiple files for coq.Gravatar Hendrik Tews2011-01-12
* Patch to add pgipfloat type.Gravatar David Aspinall2010-12-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 02:04:14 +0000