| Age | Commit message (Expand) | Author |
|---|
| 2010-09-08 | Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ... | David Aspinall |
| 2010-09-08 | Trivial comment change | David Aspinall |
| 2010-09-08 | Tidy comments. | David Aspinall |
| 2010-09-07 | proof-assert-electric-terminator: fix for proof-terminal-string, not char | David Aspinall |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-08-27 | Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e.... | David Aspinall |
| 2010-08-25 | Fix compile: declare proof-interrupt-process | David Aspinall |
| 2010-08-25 | proof-retract-before-change: now interrupts are robust in Isabelle, try | David Aspinall |
| 2010-08-25 | Bring syntactic context functions together | David Aspinall |
| 2010-08-17 | Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup... | David Aspinall |
| 2010-08-17 | Whitespace | David Aspinall |
| 2010-08-17 | Clean up handling of pending interrupts, remove experimental proof-shell-inte... | David Aspinall |
| 2010-08-16 | Fix compile errors, update tags | David Aspinall |
| 2010-08-15 | Preliminary and experimental support for automatically sending commands. | David Aspinall |
| 2010-08-13 | proof-activate-scripting: make sure can succeed when | David Aspinall |
| 2010-08-11 | Support custom syntactic fontification. Split out pa macros. | David Aspinall |
| 2010-08-08 | proof-assert-electric-terminator: give more user-friendly error message if un... | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2010-08-03 | proof-assert-electric-terminator: fix logic for inserting at buffer end | David Aspinall |
| 2010-08-03 | Move key binding for proof assistant keymap (fixes compilation bug) | David Aspinall |
| 2010-08-03 | save-some-buffers: only offer to save proof script buffers | David Aspinall |
| 2010-08-03 | Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola. | David Aspinall |
| 2010-07-08 | Cleanups for save-excursion to avoid warnings in latest Emacs versions | David Aspinall |
| 2009-12-03 | Rework script span element hiding to avoid buffer-invisibility-spec. Add com... | David Aspinall |
| 2009-11-30 | Fix for Trac #307. | David Aspinall |
| 2009-11-30 | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall |
| 2009-11-28 | Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting. | David Aspinall |
| 2009-10-15 | proof-script-use-old-parser: remove configuration option and cleanup | David Aspinall |
| 2009-10-14 | Shorten comments | David Aspinall |
| 2009-10-03 | proof-script-generic-parse-cmdstart: set case-fold-search | David Aspinall |
| 2009-10-03 | proof-assert-electric-terminator: repair so works at end of buffer | David Aspinall |
| 2009-10-02 | proof-retract-before-change: give error if prover busy | David Aspinall |
| 2009-09-28 | Functions find-and-forget and count-undos now return lists of commands | David Aspinall |
| 2009-09-25 | pg-toggle-element-visibility: Add back `redraw-frame' call, it *is* | David Aspinall |
| 2009-09-21 | Remove redisplay function call for Emacs, seems unnecssary. | David Aspinall |
| 2009-09-21 | Repair some of proof visibility handling | David Aspinall |
| 2009-09-20 | proof-script-clear-queue-spans-on-error: jump to start of error span | David Aspinall |
| 2009-09-20 | pg-set-span-helphighlights: add hook to delete help highlight | David Aspinall |
| 2009-09-20 | proof-cmdstart-add-segment-for-cmd: classify all whitespace as a | David Aspinall |
| 2009-09-16 | pg-last-output-displayform: protect against empty string | David Aspinall |
| 2009-09-15 | When calling proof-script-preprocess, fix starting position. | David Aspinall |
| 2009-09-14 | Fix compile issues | David Aspinall |
| 2009-09-14 | proof-span-give-warning: no message if inhibit-read-only is set | David Aspinall |
| 2009-09-14 | Move insert-electric-terminator here. Add experimental error spans. Doc imp... | David Aspinall |
| 2009-09-10 | Disable debug message in Isar | David Aspinall |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall |
| 2009-09-10 | proof-retract-until-point: protect against finding no span at all | David Aspinall |
| 2009-09-10 | Clean compile | 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 |
