aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2010-09-08Set version tag for new release.David Aspinall
2010-09-08mapcar -> mapc to fix compile errorDavid Aspinall
2010-09-08pg-autotest-find-file-restart: wait for retraction to complete.David Aspinall
2010-09-08Remove debug messageDavid Aspinall
2010-09-08Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ↵David Aspinall
span regions.
2010-09-08Script mouse face highlighting: new faces/colours for commands and regions, ↵David Aspinall
reinstate comment highlighting.
2010-09-08Trivial comment changeDavid Aspinall
2010-09-08Tidy comments.David Aspinall
2010-09-08CommentsDavid Aspinall
2010-09-07proof-assert-electric-terminator: fix for proof-terminal-string, not charDavid Aspinall
2010-08-27Set version tag for new release.David Aspinall
2010-08-27SimplifyDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-27Remove proof-autosend-error-pointDavid Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵David Aspinall
(i.e., automatic preview of next command)
2010-08-27Move location of mmmDavid Aspinall
2010-08-27Remove double footerDavid Aspinall
2010-08-27ReorganiseDavid Aspinall
2010-08-27Add retract buffer to menuDavid Aspinall
2010-08-26Move erase-buffer from associate buffer mode functions, allowing ↵David Aspinall
clone-buffer to work, at least superficially.
2010-08-26proof-shell-display-output-as-response: fix to check for no-response-display,David Aspinall
so that proof-shell-invisible-command-invisible-result does what it says on the tin.
2010-08-26proof-interrupt-process: make sure works from non-proof shell buffers.David Aspinall
2010-08-25Remove obsolete proversDavid Aspinall
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)
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 13:54:22 +0000