| Age | Commit message (Expand) | Author |
|---|
| 2013-07-11 | remove backup file | Hendrik Tews |
| 2013-05-31 | Authors of ML4PG | joheras |
| 2013-05-31 | Moving ML4PG from coq directory to contrib directory. | joheras |
| 2011-04-26 | Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to wor... | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/version.texi, formerly mmm/version.texi | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfo | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-compat.el, formerly mmm/mmm-compat.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-cmds.el, formerly mmm/mmm-cmds.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-class.el, formerly mmm/mmm-class.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/TODO, formerly mmm/TODO | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly mmm/README.mmm... | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/README, formerly mmm/README | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/NEWS, formerly mmm/NEWS | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/INSTALL, formerly mmm/INSTALL | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/FAQ, formerly mmm/FAQ | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/COPYING, formerly mmm/COPYING | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/AUTHORS, formerly mmm/AUTHORS | David Aspinall |
