| 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 | 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-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 | 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-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 |
| 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-06 | 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 |
