| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | put coq compilation feature into coq settings menu |  Hendrik Tews | 2011-02-14 |
| * | Improve handling of trace buffer and tracing slow mode. |  David Aspinall | 2011-01-31 |
| * | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews | 2011-01-26 |
| * | proof-shell-kill-function: use our own busy loop, as proof-shell-wait | David Aspinall | 2011-01-25 |
| * | proof-shell-exit: mention quit command and quit timeout in doc | David Aspinall | 2011-01-23 |
| * | Make proof-shell-quit-timeout a prover-specific customize option, default to ... | David Aspinall | 2011-01-23 |
| * | Kill prover process without asking on Emacs exit | David Aspinall | 2011-01-23 |
| * | - fixed stale load path problem with killing the proof shell in | Hendrik Tews | 2011-01-18 |
| * | Localise compilation fix for dynamic scope of `queueitems\'. | David Aspinall | 2011-01-18 |
| * | - fixed compilation errors | Hendrik Tews | 2011-01-18 |
| * | - fix broken external compilation | Hendrik Tews | 2011-01-18 |
| * | - simple backward compatible change to invoke a function to | Hendrik Tews | 2011-01-14 |
| * | Add preliminary support for multiple files for coq. | Hendrik Tews | 2011-01-12 |
| * | Adjust a comment on proof-shell-mode | David Aspinall | 2010-10-10 |
| * | Add explicit 'invisible flag on the action list for invisible commands. | David Aspinall | 2010-10-01 |
| * | proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in... | David Aspinall | 2010-10-01 |
| * | Support proof-shell-init-cmd being a list | David Aspinall | 2010-09-29 |
| * | Support proof-shell-init-cmd being a list | David Aspinall | 2010-09-29 |
| * | Introduce more colourings for active scripting indicator. | David Aspinall | 2010-09-21 |
| * | Script mouse face highlighting: new faces/colours for commands and regions, r... | David Aspinall | 2010-09-08 |
| * | Replace proof-terminal-char with proof-terminal-string. | David Aspinall | 2010-08-27 |
| * | 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 |
Hendrik Tews
David Aspinall