aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
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
2009-09-06Make sure proof-shell-last-output, proof-shell-last-prompt andDavid Aspinall
2009-09-06Reorganisation to avoid generating many intermediate strings fromDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Define a cleanup function to run intermittently or by hand, avoiding pg-remov...David Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Require on scomint in right placeDavid Aspinall
2009-09-04Possible bug in interrupt signaling discoveredDavid Aspinall
2009-09-04Use scomint instead of comintDavid Aspinall
2009-09-03Shorten startup messageDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20Documentation improvements.David Aspinall
2009-08-19proof-shell-insert: add scriptspan argument, to pass source positions to proo...David Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
2009-08-14Start refactoring to support more sophisticated queue handling, by adding fla...David Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-05-27Cleanup more Emacs compatibilityDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-03-31recovered proof-shell-process-urgent-message, by re-introducing commented-out...Makarius Wenzel
2008-08-03Disable subterm markup removalDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-10Minimal patch for Sledgehammer problem with Isabelle.David Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Comment cleanups. buffer-substring -> buffer-substring-no-properties.David Aspinall
2008-01-28Add hooks for unicode tokens within proof shellDavid Aspinall
2008-01-25split string on proof-rsh-commandDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-16Cleanup compileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 07:07:40 +0000