| Age | Commit message (Expand) | 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 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |