aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-08-27Renamed from mmm/AUTHORS to contrib/mmm/AUTHORSDavid Aspinall
2010-08-27Renamed file contrib/mmm/AUTHORS, formerly mmm/AUTHORSDavid Aspinall
2010-08-27Add retract buffer to menuDavid Aspinall
2010-08-27Fix for Trac #343David 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-26UpdatedDavid Aspinall
2010-08-26proof-interrupt-process: make sure works from non-proof shell buffers.David Aspinall
2010-08-25Target to build an Emacs packageDavid Aspinall
2010-08-25Add unnecessary quote marks for consistent colouringDavid Aspinall
2010-08-25Remove obsolete proversDavid Aspinall
2010-08-25Clarify Q1David Aspinall
2010-08-25MovedDavid Aspinall
2010-08-25Remove obsolete proversDavid Aspinall
2010-08-25Renamed from plastic/plastic.el to obsolete/plastic/plastic.elDavid Aspinall
2010-08-25Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.elDavid Aspinall
2010-08-25Renamed from plastic/README to obsolete/plastic/READMEDavid Aspinall
2010-08-25Renamed file obsolete/plastic/README, formerly plastic/READMEDavid Aspinall
2010-08-25Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.elDavid Aspinall
2010-08-25Renamed file obsolete/plastic/plastic-syntax.el, formerly ↵David Aspinall
plastic/plastic-syntax.el
2010-08-25Renamed from plastic/test.lf to obsolete/plastic/test.lfDavid Aspinall
2010-08-25Renamed file obsolete/plastic/test.lf, formerly plastic/test.lfDavid Aspinall
2010-08-25Renamed from demoisa/demoisa.el to obsolete/demoisa/demoisa.elDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.elDavid Aspinall
2010-08-25Renamed from demoisa/demoisa-easy.el to obsolete/demoisa/demoisa-easy.elDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.elDavid Aspinall
2010-08-25Renamed from demoisa/README to obsolete/demoisa/READMEDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/README, formerly demoisa/READMEDavid Aspinall
2010-08-25Deleted fileDavid Aspinall
2010-08-25Set version tag for new release.David Aspinall
2010-08-25Make tests succeed, although still two or three underlying bugsDavid 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-25coq-find-and-forget: re-enable trivial optimisation (is it reallyDavid Aspinall
slow in Coq to issue a trivial backtrack to the same spot?)
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-25Revert 10.51. proof-script-command-end-regexp: non-letters afterDavid Aspinall
periods are used in some notations (e.g. SSReflect). See Trac #296.
2010-08-24isar-set-undo-commands: encourage the user not to change while processing a ↵David Aspinall
buffer
2010-08-24Tidy commentsDavid Aspinall
2010-08-24UpdatedDavid 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-24unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵David Aspinall
Emacs 24 compile warning
2010-08-24pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 ↵David Aspinall
compile warning
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 01:04:24 +0000