| Age | Commit message (Expand) | Author |
|---|
| 2010-08-27 | Set version tag for new release. | David Aspinall |
| 2010-08-27 | Simplify | David Aspinall |
| 2010-08-27 | Fix bug with nested spans, solving #344/#335 | David Aspinall |
| 2010-08-27 | Target to run an instance | David Aspinall |
| 2010-08-27 | Updated | David Aspinall |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-08-27 | Fix mmm path | David Aspinall |
| 2010-08-27 | Update magic | David Aspinall |
| 2010-08-27 | Remove proof-autosend-error-point | David Aspinall |
| 2010-08-27 | Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e.... | David Aspinall |
| 2010-08-27 | Move location of mmm | David Aspinall |
| 2010-08-27 | Remove double footer | David Aspinall |
| 2010-08-27 | Reorganise | David Aspinall |
| 2010-08-27 | Renamed from mmm/version.texi to contrib/mmm/version.texi | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/version.texi, formerly mmm/version.texi | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm.texinfo to contrib/mmm/mmm.texinfo | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfo | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-vars.el to contrib/mmm/mmm-vars.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-utils.el to contrib/mmm/mmm-utils.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-rpm.el to contrib/mmm/mmm-rpm.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-region.el to contrib/mmm/mmm-region.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-mode.el to contrib/mmm/mmm-mode.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-mason.el to contrib/mmm/mmm-mason.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-cweb.el to contrib/mmm/mmm-cweb.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-compat.el to contrib/mmm/mmm-compat.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-compat.el, formerly mmm/mmm-compat.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-cmds.el to contrib/mmm/mmm-cmds.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-cmds.el, formerly mmm/mmm-cmds.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-class.el to contrib/mmm/mmm-class.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-class.el, formerly mmm/mmm-class.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-auto.el to contrib/mmm/mmm-auto.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/TODO to contrib/mmm/TODO | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/TODO, formerly mmm/TODO | David Aspinall |
| 2010-08-27 | Renamed from mmm/README.mmm-for-ProofGeneral to contrib/mmm/README.mmm-for-Pr... | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly mmm/README.mmm... | David Aspinall |
| 2010-08-27 | Renamed from mmm/README to contrib/mmm/README | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/README, formerly mmm/README | David Aspinall |
| 2010-08-27 | Renamed from mmm/NEWS to contrib/mmm/NEWS | David Aspinall |
