aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-08-27Renamed from mmm/TODO to contrib/mmm/TODODavid Aspinall
2010-08-27Renamed file contrib/mmm/TODO, formerly mmm/TODODavid Aspinall
2010-08-27Renamed from mmm/README.mmm-for-ProofGeneral to ↵David Aspinall
contrib/mmm/README.mmm-for-ProofGeneral
2010-08-27Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly ↵David Aspinall
mmm/README.mmm-for-ProofGeneral
2010-08-27Renamed from mmm/README to contrib/mmm/READMEDavid Aspinall
2010-08-27Renamed file contrib/mmm/README, formerly mmm/READMEDavid Aspinall
2010-08-27Renamed from mmm/NEWS to contrib/mmm/NEWSDavid Aspinall
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 ↵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?)
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-30 06:31:29 +0000