| Age | Commit message (Expand) | Author |
|---|
| 2010-08-17 | Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup... | David Aspinall |
| 2010-08-17 | proof-shell-action-list-item: fix type for flags as an element, not a cdr | David Aspinall |
| 2010-08-17 | Critical sync fix: in pending interrupts case be sure to | David Aspinall |
| 2010-08-17 | Comments | David Aspinall |
| 2010-08-17 | Clean up handling of pending interrupts, remove experimental proof-shell-inte... | David Aspinall |
| 2010-08-17 | Make the modeline indicator change colour. Old XEmacs behaviour restored. Q... | David Aspinall |
| 2010-08-16 | Fix compile errors, update tags | David Aspinall |
| 2010-08-15 | proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex... | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2010-08-03 | proof-shell-wait, proof-shell-kill-function: avoid use of sit-for. | David Aspinall |
| 2010-06-27 | `proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac... | David Aspinall |
| 2009-12-01 | proof-splice-separator -> mapconcat builtin | David Aspinall |
| 2009-11-30 | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall |
| 2009-09-16 | Fix compile warnings | David Aspinall |
| 2009-09-16 | Fix logic handling delayed callbacks and silent stop/start | David Aspinall |
| 2009-09-15 | Fix doc | David Aspinall |
| 2009-09-14 | Propertize Scripting modeline indicator. Support error spans. | David Aspinall |
| 2009-09-10 | Disable process-adaptive-read-buffering: massive slow down for short | David Aspinall |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall |
| 2009-09-10 | Clean compile | David Aspinall |
| 2009-09-09 | Prevent font-lock in shell by altering font-lock-global-modes locally | David Aspinall |
| 2009-09-09 | Clear shell buffer contents on restart. | David Aspinall |
| 2009-09-09 | Simplify output processing; delay some goals/response classification | David Aspinall |
| 2009-09-08 | proof-shell-handle-error-output: renamed, and simplified | David Aspinall |
| 2009-09-07 | Whitespace | 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-05 | Clean whitespace | David Aspinall |
| 2009-09-04 | replace-in-string -> replace-regexp-in-string | David Aspinall |
| 2009-09-04 | Define a cleanup function to run intermittently or by hand, avoiding pg-remov... | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | Require on scomint in right place | David Aspinall |
| 2009-09-04 | Possible bug in interrupt signaling discovered | David Aspinall |
| 2009-09-04 | Use scomint instead of comint | David Aspinall |
| 2009-09-03 | Shorten startup message | David Aspinall |
| 2009-08-28 | Fix compile warnings | David Aspinall |
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall |
| 2009-08-20 | Documentation improvements. | David Aspinall |
| 2009-08-19 | proof-shell-insert: add scriptspan argument, to pass source positions to proo... | David Aspinall |
| 2009-08-17 | Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour... | David Aspinall |
| 2009-08-14 | Start refactoring to support more sophisticated queue handling, by adding fla... | David Aspinall |
| 2009-08-07 | rename: proof-full-decoration -> proof-full-annotation | David Aspinall |
| 2009-05-27 | Cleanup more Emacs compatibility | 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-03-31 | recovered proof-shell-process-urgent-message, by re-introducing commented-out... | Makarius Wenzel |
| 2008-08-03 | Disable subterm markup removal | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-10 | Minimal patch for Sledgehammer problem with Isabelle. | David Aspinall |
| 2008-02-06 | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall |
