aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Expand)Author
2011-01-23Make proof-shell-quit-timeout a prover-specific customize option, default to ...David Aspinall
2011-01-23Fix typoDavid Aspinall
2011-01-18- fixed compilation errorsHendrik Tews
2011-01-14- move proof-no-fully-processed-buffer to generic/proof-configHendrik Tews
2011-01-12Add preliminary support for multiple files for coq.Hendrik Tews
2010-12-16Patch to add pgipfloat type.David Aspinall
2010-09-29Support proof-shell-init-cmd being a listDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-24Reduce quit timeout to sensible valueDavid Aspinall
2010-08-19proof-shell-process-connection-type: Revert to long-lived previous default of...David Aspinall
2010-08-18proof-shell-process-connection-type: remove near obsolete test and textDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental proof-shell-inte...David Aspinall
2010-08-15proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-12-04docstringDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-11-30even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*...Makarius Wenzel
2009-11-29raised proof-shell-quit-timeout to accomodate bulky write-back images;Makarius Wenzel
2009-11-28Remove doc mention of obsolete function `pg-assoc-analyse-structure'.David Aspinall
2009-10-15proof-script-use-old-parser: remove configuration option and cleanupDavid Aspinall
2009-10-14Remove `next-entity' settings for func-menu.David Aspinall
2009-09-28TypoDavid Aspinall
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-11Fix docsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-09Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positionsDavid Aspinall
2009-09-09p-s-classify-output -> p-s-handle-output, and simplify system-specific hookDavid Aspinall
2009-09-09proof-shell-quiet-errors: move to user opts custom groupDavid Aspinall
2009-09-08proof-kill-goal-command: default to nil, not empty stringDavid Aspinall
2009-09-08Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...David Aspinall
2009-09-08Fix docstrings, remove spurious nullDavid Aspinall
2009-09-06Change type of proof-shell-process-file, proof-shell-compute-new-files-listDavid Aspinall
2009-09-06Clarify that eager message matches are now anchoredDavid Aspinall
2009-09-06Remove use-specials-for-fontifyDavid Aspinall
2009-09-06Remove proof-shell-wakeup-char.David Aspinall
2009-09-05CommentDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-01Remove some old X-Symbol references; update docs.David Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-20proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsDavid Aspinall
2009-08-19DocstringsDavid Aspinall
2009-08-17TidyDavid Aspinall
2009-08-17Fix proof-next-error key bindingDavid Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-08-13proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 14:38:23 +0000