aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2010-08-25Set version tag for new release.David Aspinall
2010-08-25Fix compile: declare proof-interrupt-processDavid Aspinall
2010-08-25proof-retract-before-change: now interrupts are robust in Isabelle, tryDavid Aspinall
interrupting if prover is busy before undoing. Refs Trac #293
2010-08-25Fixed my last commit where compilation was broken. (function put atPierre Courtieu
the wrong place).
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
is too small. However if the frame is too small the bug remains (but it is much less probable).
2010-08-25proof-shell-handle-error-or-interrupt: prevent an error inDavid Aspinall
an obscure case, attempting to handle delayed output when there is none.
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-24Tidy shell start and quit functionsDavid Aspinall
2010-08-24proof-shell-config-done: send proof-assistant-settings-cmdsDavid Aspinall
individually rather than en-massse, avoiding input buffer size problems (bug?) on Emacs 24 with lengthy Isabelle PGIP commands.
2010-08-24Split proof-assistant-settings-cmds and proof-assistant-settings-cmdDavid Aspinall
2010-08-24Reduce quit timeout to sensible valueDavid Aspinall
2010-08-24Move comments into docstringDavid Aspinall
2010-08-24Tidy commentsDavid Aspinall
2010-08-24pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 ↵David Aspinall
compile warning
2010-08-23Set version tag for new release.David Aspinall
2010-08-23Prevent electric terminator modeline effect in non proof script modes.David Aspinall
2010-08-23UpdatedDavid Aspinall
2010-08-22proof-fast-process-buffer: switch on by default if looks like Mac port (ns ↵David Aspinall
feature)
2010-08-22Fix bug in define-key for mouse-3.David Aspinall
2010-08-22Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes ↵David Aspinall
with holes mode (unfortunately).
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
2010-08-20Remove dead codeDavid Aspinall
2010-08-20UpdateDavid Aspinall
2010-08-20Support Unicode from tokens. Add export for whole directoryDavid Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-19Set version tag for new release.David Aspinall
2010-08-19proof-shell-process-connection-type: Revert to long-lived previous default ↵David Aspinall
of t (for safety, no ill behaviour observed)
2010-08-19CommentsDavid Aspinall
2010-08-18Remove redisplay from wait loop, only redisplay on exit. Big speed-upDavid Aspinall
but doesn't reflect changes as they happen.
2010-08-18proof-autosend-loop: don't enter if shell is already busy processingDavid Aspinall
2010-08-18proof-shell-start: tidy upDavid Aspinall
2010-08-18Remove clashing key binding for C-c C-sDavid Aspinall
2010-08-18UpdatedDavid Aspinall
2010-08-18proof-shell-process-connection-type: remove near obsolete test and textDavid Aspinall
about Solaris. Experiment using pipe instead of pty communication as default now scomint buffer not intended for interactive input and runs prover process directly.
2010-08-18proof-debug advice: Fix passing format argDavid Aspinall
2010-08-18Style fixesDavid Aspinall
2010-08-18Improve messageDavid Aspinall
2010-08-18Style fix in messagesDavid Aspinall
2010-08-18Correct comment; try setting process-adaptive-read-buffering to nil.David Aspinall
2010-08-17Re Trac #324:David Aspinall
proof-shell-wait: drastically reduce timeout, as some implementations perhaps wait for full time even if process output is received. Set process-adaptive-read-buffering to nil regardless of platform
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to ↵David Aspinall
support this.
2010-08-17autosend loop: wait for shell after sending interrupt (ensures output processingDavid Aspinall
happens when proof-autosend-running is set).
2010-08-17Set version tag for new release.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
invoke callbacks before detaching queue. Fix to passing of display flags.
2010-08-17Note about fix required to proof-autosend-error-pointDavid Aspinall
2010-08-17quit-prover: avoid kill buffer query questionDavid Aspinall
2010-08-17pg-response-has-error-location: save point in response bufferDavid Aspinall
2010-08-17WhitespaceDavid Aspinall
2010-08-17CommentsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 00:36:16 +0000