| Age | Commit message (Expand) | Author |
|---|
| 2009-09-10 | Move defpacustom here. Move message functions to proof-shell. Fix requires. | David Aspinall |
| 2009-09-10 | Add proof-minibuffer-messages. Move defpacustom->proof-utils and | David Aspinall |
| 2009-09-10 | Add `proof-minibuffer-messages' | David Aspinall |
| 2009-09-09 | Prevent font-lock in shell by altering font-lock-global-modes locally | David Aspinall |
| 2009-09-09 | pg-last-output-displayform: strip trailing CR as well as initial one, | David Aspinall |
| 2009-09-09 | Delete the pghelp spans for now, after all. | David Aspinall |
| 2009-09-09 | *** empty log message *** | David Aspinall |
| 2009-09-09 | *** empty log message *** | David Aspinall |
| 2009-09-09 | Support linear_undo. Add minimal font-lock for readability in *isabelle*. | David Aspinall |
| 2009-09-09 | proof-script-clear-queue-spans: scan less of buffer | David Aspinall |
| 2009-09-09 | Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions | David Aspinall |
| 2009-09-09 | Clear shell buffer contents on restart. | David Aspinall |
| 2009-09-09 | Add proof-re-search-forward-safe | David Aspinall |
| 2009-09-09 | p-s-classify-output -> p-s-handle-output, and simplify system-specific hook | David Aspinall |
| 2009-09-09 | Add proof-script-error-face | David Aspinall |
| 2009-09-09 | Add compatilibity for declare-function in Emacs 22.1 | David Aspinall |
| 2009-09-09 | proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind, | David Aspinall |
| 2009-09-09 | Simplify output processing; delay some goals/response classification | David Aspinall |
| 2009-09-09 | proof-shell-quiet-errors: move to user opts custom group | David Aspinall |
| 2009-09-09 | Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v. | David Aspinall |
| 2009-09-09 | proof-toolbar-setup: redraw-display | David Aspinall |
| 2009-09-09 | Another V-8-1 test | David Aspinall |
| 2009-09-09 | proof-toolbar-setup: do the right thing (map across all PG buffers) | David Aspinall |
| 2009-09-09 | Remove more V8 compatibility (thanks to Pierre for carefully highlighting it) | David Aspinall |
| 2009-09-08 | Remove Coq 8.0 code | David Aspinall |
| 2009-09-08 | Remove some spaces | David Aspinall |
| 2009-09-08 | Remove more of 80 code | David Aspinall |
| 2009-09-08 | Updated. | David Aspinall |
| 2009-09-08 | proof-kill-goal-command: default to nil, not empty string | David Aspinall |
| 2009-09-08 | Simplify coq-find-and-forget and drop v80 version | David Aspinall |
| 2009-09-08 | Remove system-specific code as message before goals handled in core now. Alte... | David Aspinall |
| 2009-09-08 | Comments | David Aspinall |
| 2009-09-08 | Update, remove proof-shell-abort-goal-regexp | David Aspinall |
| 2009-09-08 | Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L... | David Aspinall |
| 2009-09-08 | More text about Unicode Tokens | David Aspinall |
| 2009-09-08 | Comments | David Aspinall |
| 2009-09-08 | Oops: repair hybrid output broken by two window fix! See trac #109. | David Aspinall |
| 2009-09-08 | byte-compile-and-load on write is a bit too enthusiastic | David Aspinall |
| 2009-09-08 | Repair two-window working mode for when Coq doesn't produce hybrid output. | David Aspinall |
| 2009-09-08 | Clarify require | David Aspinall |
| 2009-09-08 | Require on scomint | David Aspinall |
| 2009-09-08 | proof-shell-handle-error-output: renamed, and simplified | David Aspinall |
| 2009-09-08 | Fix docstrings, remove spurious null | David Aspinall |
| 2009-09-08 | pg-response-display-with-face: remove update of `proof-shell-last-output' | David Aspinall |
| 2009-09-08 | Remove use of regexp-opt-depth and clarify doc of | David Aspinall |
| 2009-09-08 | Remove devel. from testall target | David Aspinall |
| 2009-09-08 | Remove warnings in batch compile about functions possibly undefined at | David Aspinall |
| 2009-09-07 | Only show splash message if noninteractive | David Aspinall |
| 2009-09-07 | Remove load order tweak experiment | David Aspinall |
| 2009-09-07 | Nuke spurious warning | David Aspinall |
