| Commit message (Expand) | Author | Age |
* | Move erase-buffer from associate buffer mode functions, allowing clone-buffer... | David Aspinall | 2010-08-26 |
* | proof-shell-display-output-as-response: fix to check for no-response-display, | David Aspinall | 2010-08-26 |
* | proof-interrupt-process: make sure works from non-proof shell buffers. | David Aspinall | 2010-08-26 |
* | proof-shell-handle-error-or-interrupt: prevent an error in | David Aspinall | 2010-08-25 |
* | Tidy shell start and quit functions | David Aspinall | 2010-08-24 |
* | proof-shell-config-done: send proof-assistant-settings-cmds | David Aspinall | 2010-08-24 |
* | Remove dead code | David Aspinall | 2010-08-20 |
* | Comments | David Aspinall | 2010-08-19 |
* | Remove redisplay from wait loop, only redisplay on exit. Big speed-up | David Aspinall | 2010-08-18 |
* | proof-shell-start: tidy up | David Aspinall | 2010-08-18 |
* | Correct comment; try setting process-adaptive-read-buffering to nil. | David Aspinall | 2010-08-18 |
* | Re Trac #324: | David Aspinall | 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-17 |
* | Fix compile errors, update tags | David Aspinall | 2010-08-16 |
* | proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex... | David Aspinall | 2010-08-15 |
* | Checkdoc cleanups | David Aspinall | 2010-08-08 |
* | proof-shell-wait, proof-shell-kill-function: avoid use of sit-for. | David Aspinall | 2010-08-03 |
* | `proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac... | David Aspinall | 2010-06-27 |
* | proof-splice-separator -> mapconcat builtin | David Aspinall | 2009-12-01 |
* | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall | 2009-11-30 |
* | Fix compile warnings | David Aspinall | 2009-09-16 |
* | Fix logic handling delayed callbacks and silent stop/start | David Aspinall | 2009-09-16 |
* | Fix doc | David Aspinall | 2009-09-15 |
* | Propertize Scripting modeline indicator. Support error spans. | David Aspinall | 2009-09-14 |
* | 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-10 |
* | 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-09 |
* | proof-shell-handle-error-output: renamed, and simplified | David Aspinall | 2009-09-08 |
* | Whitespace | David Aspinall | 2009-09-07 |
* | 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 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | 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-04 |
* | Shorten startup message | David Aspinall | 2009-09-03 |
* | Fix compile warnings | David Aspinall | 2009-08-28 |
* | Doc tweaks via checkdoc. | David Aspinall | 2009-08-20 |
* | Documentation improvements. | David Aspinall | 2009-08-20 |