| Commit message (Expand) | Author | Age |
* | proof-retract-until-point: protect against finding no span at all | David Aspinall | 2009-09-10 |
* | Clean compile | David Aspinall | 2009-09-10 |
* | Clean compile | David Aspinall | 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-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 |