| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 ↵ | David Aspinall | |
| mmm/README.mmm-for-ProofGeneral | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |