| 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 |
| * | 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 |
| * | 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 |
| * | proof-toolbar-setup: do the right thing (map across all PG buffers) | David Aspinall | 2009-09-09 |
| * | 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 |
| * | 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 |
| * | 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 |
| * | Update autoloads | David Aspinall | 2009-09-07 |
| * | Attempt to handle splash buffer cleanly. | David Aspinall | 2009-09-07 |
| * | Requires processed more often (experiment) | David Aspinall | 2009-09-07 |
| * | Fix compile warnings | David Aspinall | 2009-09-07 |
| * | Whitespace | David Aspinall | 2009-09-07 |
| * | (C) date | David Aspinall | 2009-09-07 |
| * | mapcar -> dolist | David Aspinall | 2009-09-07 |
| * | Require cl for compilation | David Aspinall | 2009-09-07 |
| * | Missing require | David Aspinall | 2009-09-07 |
| * | Fix typos | David Aspinall | 2009-09-07 |
| * | Typo | David Aspinall | 2009-09-06 |
| * | Avoid easy-menu-define macro | David Aspinall | 2009-09-06 |
| * | Updated | David Aspinall | 2009-09-06 |
| * | Make sure proof-shell-last-output is non-nil | David Aspinall | 2009-09-06 |
| * | pg-add-element: unbound var in debug | David Aspinall | 2009-09-06 |
| * | Make sure proof-shell-last-output, proof-shell-last-prompt and | David Aspinall | 2009-09-06 |
| * | Reorganisation to avoid generating many intermediate strings from | David Aspinall | 2009-09-06 |
| * | Include macros for compile | David Aspinall | 2009-09-06 |
| * | Compile with cl. Fix typo. | David Aspinall | 2009-09-06 |
| * | proof-clean-buffer: inhibit read only | David Aspinall | 2009-09-06 |
| * | Change type of proof-shell-process-file, proof-shell-compute-new-files-list | David Aspinall | 2009-09-06 |
| * | Fix compile warnings | David Aspinall | 2009-09-06 |
David Aspinall