aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2010-08-27Renamed file contrib/mmm/NEWS, formerly mmm/NEWSDavid Aspinall
2010-08-27Renamed from mmm/INSTALL to contrib/mmm/INSTALLDavid Aspinall
2010-08-27Renamed file contrib/mmm/INSTALL, formerly mmm/INSTALLDavid Aspinall
2010-08-27Renamed from mmm/FAQ to contrib/mmm/FAQDavid Aspinall
2010-08-27Renamed file contrib/mmm/FAQ, formerly mmm/FAQDavid Aspinall
2010-08-27Renamed from mmm/COPYING to contrib/mmm/COPYINGDavid Aspinall
2010-08-27Renamed file contrib/mmm/COPYING, formerly mmm/COPYINGDavid Aspinall
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 clone-buffer...David Aspinall
2010-08-26proof-shell-display-output-as-response: fix to check for no-response-display,David Aspinall
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 plastic/plastic-syn...David Aspinall
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
2010-08-25Fixed my last commit where compilation was broken. (function put atPierre Courtieu
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
2010-08-25coq-find-and-forget: re-enable trivial optimisation (is it reallyDavid Aspinall
2010-08-25proof-shell-handle-error-or-interrupt: prevent an error inDavid Aspinall
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-25Revert 10.51. proof-script-command-end-regexp: non-letters afterDavid Aspinall
2010-08-24isar-set-undo-commands: encourage the user not to change while processing a b...David Aspinall
2010-08-24Tidy commentsDavid Aspinall
2010-08-24UpdatedDavid Aspinall
2010-08-24Tidy shell start and quit functionsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 23:50:17 +0000