aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)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 contrib/mmm/README.mmm-for-Pr...David Aspinall
2010-08-27Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly mmm/README.mmm...David Aspinall
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 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 13:01:53 +0000