| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-03-14 | Set version tag for new release. | David Aspinall |
| 2000-03-13 | Set version tag for new release. | David Aspinall |
| 2000-03-13 | Updated web pages. | David Aspinall |
| 2000-03-10 | Set version tag for new release. | David Aspinall |
| 2000-03-10 | Added note to register here | David Aspinall |
| 2000-03-09 | Set version tag for new release. | David Aspinall |
| 2000-03-08 | Set version tag for new release. | David Aspinall |
| 2000-03-08 | Links to developers todo files and README added. Prerelversion notified. | David Aspinall |
| 2000-03-01 | Set version tag for new release. | David Aspinall |
| 2000-03-01 | Unify terminology. | David Aspinall |
| 2000-02-29 | Set version tag for new release. | David Aspinall |
| 2000-02-28 | Set version tag for new release. | David Aspinall |
| 2000-02-24 | Set version tag for new release. | David Aspinall |
| 2000-02-24 | Fix title | David Aspinall |
| 2000-02-17 | Set version tag for new release. | David Aspinall |
| 2000-02-15 | Set version tag for new release. | David Aspinall |
| 2000-02-15 | New development pages added, more links | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |