| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-14 | Mention developers list too | David Aspinall |
| 2002-07-14 | Typo | David Aspinall |
| 2002-07-13 | Remove extra hr, use h3 | David Aspinall |
| 2002-07-13 | Fix mailman links, remove subscription form from here. | David Aspinall |
| 2001-05-29 | Renamed file | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |