| Age | Commit message (Expand) | Author |
|---|
| 2010-08-26 | Move erase-buffer from associate buffer mode functions, allowing clone-buffer... | David Aspinall |
| 2010-08-25 | Fixed my last commit where compilation was broken. (function put at | Pierre Courtieu |
| 2010-08-25 | Fixed the bug of vertical window splitting when the size of the window | Pierre Courtieu |
| 2010-08-17 | pg-response-has-error-location: save point in response buffer | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2010-07-08 | Cleanups for save-excursion to avoid warnings in latest Emacs versions | David Aspinall |
| 2009-10-15 | Keep response and trace buffer read-only, except when changing | David Aspinall |
| 2009-09-26 | proof-display-three-b: avoid giving strange behaviour if some buffers are not... | David Aspinall |
| 2009-09-10 | Clean compile | David Aspinall |
| 2009-09-08 | pg-response-display-with-face: remove update of `proof-shell-last-output' | David Aspinall |
| 2009-09-06 | pg-response-maybe-erase: inhibit read only | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall |
| 2009-05-26 | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c... | David Aspinall |
| 2009-05-26 | Revive sendback behaviour (using button1) | David Aspinall |
| 2008-08-03 | pg-response-display: disable subterm markup removal | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-05 | Revert cursor hide in goals and response to avoid user confusion; use bar cur... | David Aspinall |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-16 | Compilation tweaks | David Aspinall |
| 2008-01-16 | Revert 8.18: font-lock-append-text-property merges faces better. | David Aspinall |
| 2008-01-15 | pg-response-display: use add-text-properties instead of font-lock-append-text... | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
| 2007-12-14 | Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou... | David Aspinall |
| 2007-12-10 | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall |
| 2007-09-06 | Use button2 instead of button1 for pg-goals-button-action | David Aspinall |
| 2007-08-19 | Only analyse structure for region of appended text | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2006-09-24 | Tweaks to buffer history mode. Still intermediate version. | David Aspinall |
| 2006-09-24 | Add buffer history browsing | David Aspinall |
| 2006-05-26 | Add C-g watcher for trace buffer | David Aspinall |
| 2004-06-24 | Improve handling of intermittent fontification for trace buffers. | David Aspinall |
| 2004-06-16 | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall |
| 2004-04-27 | condition-case -> unwind-protect | David Aspinall |
| 2004-04-27 | Add optional (prefix) arg to proof-layout-windows. | David Aspinall |
| 2004-04-18 | Obey proof-eagerly-raise in proof-layout-windows. | David Aspinall |
| 2004-04-18 | Try to stop proof-delete-other-frames from bringing up new | David Aspinall |
| 2004-04-18 | Comments. | David Aspinall |
| 2004-04-18 | Remove faulty compatiblity for XE 21.1 | David Aspinall |
| 2004-04-16 | Add boundp check to proof-map-multiple-frame-specifiers, for some back compat... | David Aspinall |
| 2004-04-13 | Add hint to C-c C-l; cleanup hints, add menu for C-c C-l | David Aspinall |
| 2004-04-02 | Overhaul and fixes for display management. | David Aspinall |
| 2003-06-19 | Add idle timer to cleanup tracing display. | David Aspinall |
| 2003-06-05 | Add code to recognize fast tracing output from prover, and play slow catchup. | David Aspinall |
| 2003-05-24 | Revert to displaying empty buffer for sake of pr in Isar | David Aspinall |
| 2003-05-24 | Do not display empty responses | David Aspinall |
| 2003-03-14 | Comment about desirability for lazy-shot in trace output | David Aspinall |
| 2003-02-24 | Fix some compile errors | David Aspinall |
| 2003-02-19 | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall |
| 2002-12-29 | Try to catch nesting too deep ugliness (esp in Isabelle tracing) | David Aspinall |
