| Age | Commit message (Expand) | Author |
|---|
| 2012-09-14 | proof-shell-process-connection-type: try using pipes by default in Emacs 24, | David Aspinall |
| 2012-01-09 | Improve configuration for HOL Light. Allow goals display to be prefixed by i... | David Aspinall |
| 2012-01-09 | proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start | David Aspinall |
| 2012-01-03 | merge ProofTreeBranch into main trunk: | Hendrik Tews |
| 2011-12-06 | fix a log of broken customization types | Hendrik Tews |
| 2011-11-15 | Quick stab at support for switching to proof shell when interactive support e... | David Aspinall |
| 2011-10-13 | To fix pgshell mode, restore proof-shell-insert support for a single string a... | David Aspinall |
| 2011-05-05 | - flushed proof-done-advancing-require-function and | Hendrik Tews |
| 2011-04-13 | proof-shell-insert-hook: Clean docstring, addressing #396. | David Aspinall |
| 2011-01-23 | Make proof-shell-quit-timeout a prover-specific customize option, default to ... | David Aspinall |
| 2011-01-23 | Fix typo | David Aspinall |
| 2011-01-18 | - fixed compilation errors | Hendrik Tews |
| 2011-01-14 | - move proof-no-fully-processed-buffer to generic/proof-config | Hendrik Tews |
| 2011-01-12 | Add preliminary support for multiple files for coq. | Hendrik Tews |
| 2010-12-16 | Patch to add pgipfloat type. | David Aspinall |
| 2010-09-29 | Support proof-shell-init-cmd being a list | David Aspinall |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-08-24 | Reduce quit timeout to sensible value | David Aspinall |
| 2010-08-19 | proof-shell-process-connection-type: Revert to long-lived previous default of... | David Aspinall |
| 2010-08-18 | proof-shell-process-connection-type: remove near obsolete test and text | David Aspinall |
| 2010-08-17 | Clean up handling of pending interrupts, remove experimental proof-shell-inte... | David Aspinall |
| 2010-08-15 | proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex... | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2009-12-04 | docstring | David Aspinall |
| 2009-11-30 | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall |
| 2009-11-30 | even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*... | Makarius Wenzel |
| 2009-11-29 | raised proof-shell-quit-timeout to accomodate bulky write-back images; | Makarius Wenzel |
| 2009-11-28 | Remove doc mention of obsolete function `pg-assoc-analyse-structure'. | David Aspinall |
| 2009-10-15 | proof-script-use-old-parser: remove configuration option and cleanup | David Aspinall |
| 2009-10-14 | Remove `next-entity' settings for func-menu. | David Aspinall |
| 2009-09-28 | Typo | David Aspinall |
| 2009-09-28 | Functions find-and-forget and count-undos now return lists of commands | David Aspinall |
| 2009-09-11 | Fix docs | David Aspinall |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall |
| 2009-09-10 | Clean compile | David Aspinall |
| 2009-09-09 | Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions | David Aspinall |
| 2009-09-09 | p-s-classify-output -> p-s-handle-output, and simplify system-specific hook | David Aspinall |
| 2009-09-09 | proof-shell-quiet-errors: move to user opts custom group | David Aspinall |
| 2009-09-08 | proof-kill-goal-command: default to nil, not empty string | David Aspinall |
| 2009-09-08 | Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L... | David Aspinall |
| 2009-09-08 | Fix docstrings, remove spurious null | David Aspinall |
| 2009-09-06 | Change type of proof-shell-process-file, proof-shell-compute-new-files-list | David Aspinall |
| 2009-09-06 | Clarify that eager message matches are now anchored | David Aspinall |
| 2009-09-06 | Remove use-specials-for-fontify | David Aspinall |
| 2009-09-06 | Remove proof-shell-wakeup-char. | David Aspinall |
| 2009-09-05 | Comment | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | Add proof-script-evaluate-elisp-comment-regexp security hole. | David Aspinall |
| 2009-09-04 | Remove proof-no-command | David Aspinall |
