aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
2011-01-18Localise compilation fix for dynamic scope of `queueitems\'.David Aspinall
2011-01-18- fixed compilation errorsHendrik Tews
2011-01-18- fix broken external compilationHendrik Tews
2011-01-14- simple backward compatible change to invoke a function toHendrik Tews
2011-01-12Add preliminary support for multiple files for coq.Hendrik Tews
2010-10-10Adjust a comment on proof-shell-modeDavid Aspinall
2010-10-01Add explicit 'invisible flag on the action list for invisible commands.David Aspinall
2010-10-01proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...David Aspinall
2010-09-29Support proof-shell-init-cmd being a listDavid Aspinall
2010-09-29Support proof-shell-init-cmd being a listDavid Aspinall
2010-09-21Introduce more colourings for active scripting indicator.David Aspinall
2010-09-08Script mouse face highlighting: new faces/colours for commands and regions, r...David Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-26Move erase-buffer from associate buffer mode functions, allowing clone-buffer...David Aspinall
2010-08-26proof-shell-display-output-as-response: fix to check for no-response-display,David Aspinall
2010-08-26proof-interrupt-process: make sure works from non-proof shell buffers.David Aspinall
2010-08-25proof-shell-handle-error-or-interrupt: prevent an error inDavid Aspinall
2010-08-24Tidy shell start and quit functionsDavid Aspinall
2010-08-24proof-shell-config-done: send proof-assistant-settings-cmdsDavid Aspinall
2010-08-20Remove dead codeDavid Aspinall
2010-08-19CommentsDavid Aspinall
2010-08-18Remove redisplay from wait loop, only redisplay on exit. Big speed-upDavid Aspinall
2010-08-18proof-shell-start: tidy upDavid Aspinall
2010-08-18Correct comment; try setting process-adaptive-read-buffering to nil.David Aspinall
2010-08-17Re Trac #324:David Aspinall
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
2010-08-17proof-shell-action-list-item: fix type for flags as an element, not a cdrDavid Aspinall
2010-08-17Critical sync fix: in pending interrupts case be sure toDavid Aspinall
2010-08-17CommentsDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental proof-shell-inte...David Aspinall
2010-08-17Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...David Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-15proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03proof-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-01proof-splice-separator -> mapconcat builtinDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-09-16Fix compile warningsDavid Aspinall
2009-09-16Fix logic handling delayed callbacks and silent stop/startDavid Aspinall
2009-09-15Fix docDavid Aspinall
2009-09-14Propertize Scripting modeline indicator. Support error spans.David Aspinall
2009-09-10Disable process-adaptive-read-buffering: massive slow down for shortDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-09Prevent font-lock in shell by altering font-lock-global-modes locallyDavid Aspinall
2009-09-09Clear shell buffer contents on restart.David Aspinall
2009-09-09Simplify output processing; delay some goals/response classificationDavid Aspinall
2009-09-08proof-shell-handle-error-output: renamed, and simplifiedDavid Aspinall
2009-09-07WhitespaceDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 20:54:38 +0000