aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-08-27Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-cweb.el to contrib/mmm/mmm-cweb.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-compat.el to contrib/mmm/mmm-compat.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-compat.el, formerly mmm/mmm-compat.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-cmds.el to contrib/mmm/mmm-cmds.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-cmds.el, formerly mmm/mmm-cmds.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-class.el to contrib/mmm/mmm-class.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-class.el, formerly mmm/mmm-class.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-auto.el to contrib/mmm/mmm-auto.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.elDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 22:11:50 +0000