aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-08-27Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-rpm.el to contrib/mmm/mmm-rpm.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-region.el to contrib/mmm/mmm-region.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-mode.el to contrib/mmm/mmm-mode.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-mason.el to contrib/mmm/mmm-mason.elDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 09:06:21 +0000