aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2010-08-24isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 ↵David Aspinall
compile warning
2010-08-24coq-set-state-infos: attempt to fix sync problem hereDavid Aspinall
2010-08-24proof-script-command-end-regexp: include \' for end of buffer againDavid Aspinall
2010-08-24proof-script-command-end-regexp: allow any non-letter after a periodDavid Aspinall
to terminate a command, fixing #296 (and hopefully not messing up other cases).
2010-08-24More whitespace changesDavid Aspinall
2010-08-24Cleanups for Elisp formatting conventions.David Aspinall
Fix tags handling to work for GNU Emacs etags.el
2010-08-24Minor cleanupsDavid Aspinall
2010-08-24coq-comment-at-point: avoid error if command start not foundDavid Aspinall
(see Trac #342)
2010-08-24Update versionsDavid Aspinall
2010-08-23Remove extra nav bars in html. Clean html subdirs on distcleanDavid Aspinall
2010-08-23-prefix -> --outputDavid Aspinall
2010-08-23texi2html: add -prefix to give same as old behaviour (sub-directory).David Aspinall
2010-08-23Remove defunct RPM linkDavid Aspinall
2010-08-23Set version tag for new release.David Aspinall
2010-08-23Fix image embedding in htmlDavid Aspinall
2010-08-23Update to use @dircategory and @direntry for infoDavid Aspinall
2010-08-23Add some more creditsDavid Aspinall
2010-08-23Add some more creditsDavid 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-22Change binding for coq-PrintHint as suggested in Trac #341David Aspinall
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 00:04:30 +0000