| Age | Commit message (Expand) | Author |
|---|
| 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 | proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind, | David Aspinall |
| 2009-09-07 | Fix compile warnings | David Aspinall |
| 2009-09-06 | pg-add-element: unbound var in debug | David Aspinall |
| 2009-09-06 | Tweak point movement in `proof-assert-until-point' and | David Aspinall |
| 2009-09-05 | Minor opt | David Aspinall |
| 2009-09-05 | proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep... | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-05 | Whitespaces and comments | David Aspinall |
| 2009-09-04 | Add proof-script-evaluate-elisp-comment-regexp security hole. | David Aspinall |
| 2009-09-04 | proof-file-to-buffer -> find-buffer-visiting | David Aspinall |
| 2009-09-04 | Remove configuration of obsolete package function-menu (aka "fume") | David Aspinall |
| 2009-09-04 | Remove configuration of obsolete package function-menu (aka "fume") | David Aspinall |
| 2009-09-04 | Refactoring point movement commands (in progress). Remove proof-no-command. | David Aspinall |
| 2009-08-29 | Cleanup of interactive point moving functions (in progress) | David Aspinall |
| 2009-08-28 | Fix compile warnings | David Aspinall |
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall |
| 2009-08-20 | proof-one-command-per-line: change default, use in proof-insert-pbp-command. | David Aspinall |
| 2009-08-17 | Only move proof-overlay-arrow once it's got a position. | David Aspinall |
| 2009-08-17 | Move the overlay arrow backwards in case of edits above it which | David Aspinall |
| 2009-08-14 | pg-last-output-displayform: add convenience function | David Aspinall |
| 2009-08-13 | Add parser cache for proof-segment-up-to. | David Aspinall |
| 2009-08-07 | proof-colour-locked: complete implementation | David Aspinall |
| 2009-08-06 | Prevent setting of proof-overlay-arrow if not configured | David Aspinall |
| 2009-07-30 | Add overlay arrow ported from Kit. | David Aspinall |
| 2009-07-30 | Add proof-colour-locked option to leave locked region background uncoloured. | David Aspinall |
| 2009-05-27 | Check unicode-tokens-mode is bound | David Aspinall |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall |
| 2009-05-26 | proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey | David Aspinall |
| 2009-05-26 | Revive sendback behaviour (using button1) | David Aspinall |
| 2009-05-25 | Set default value for `buffer-invisibility-spec' | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-10 | Reverse 8.28, buffer-substring-no-properties -> buffer-substring. | David Aspinall |
| 2008-01-31 | Sendback commands from response buffer sent via assert-until-point, with ordi... | David Aspinall |
| 2008-01-30 | Documentation. | David Aspinall |
| 2008-01-29 | buffer-substring -> buffer-substring-no-properties since we never use them | David Aspinall |
| 2008-01-29 | Comments. | David Aspinall |
| 2008-01-29 | Typo. | David Aspinall |
| 2008-01-29 | proof-set-queue-endpoints: only use undo-discarding function if | David Aspinall |
| 2008-01-29 | Disable undo in read-only region; add proof-allow-undo-in-read-only setting | David Aspinall |
| 2008-01-25 | pg-clear-script-portions: fix handling of buffer-invisibility-spec | David Aspinall |
| 2008-01-24 | Fixes and cleanups for coq-indent-line, see Trac #172 | David Aspinall |
| 2008-01-17 | Disable removal from input history | David Aspinall |
| 2008-01-17 | Comment | David Aspinall |
| 2008-01-17 | Add input history ring. Cleanup comments. | David Aspinall |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-16 | Compilation tweaks | David Aspinall |
| 2008-01-15 | Simplify font lock settings, removing proof-font-lock-case-fold-search | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
