| Commit message (Expand) | Author | Age |
* | 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-10 |
* | 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-09 |
* | 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-08 |
* | 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 | 2009-09-07 |