| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-12-09 | Nuke some compile warnings | David Aspinall |
| 2003-02-19 | Use bundled version off mmm first | David Aspinall |
| 2003-02-19 | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall |
| 2003-02-18 | Small bugfix. | David Aspinall |
| 2003-02-18 | Updated. | David Aspinall |
| 2003-02-18 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |