| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-11-15 | Added in-testing message | David Aspinall |
| 1999-11-09 | No unless noted | David Aspinall |
| 1999-11-09 | News about x-symbol | David Aspinall |
| 1999-11-08 | Note about release 3.0. | David Aspinall |
| 1999-10-21 | Typo. | David Aspinall |
| 1999-10-21 | Updated for new screenshot | David Aspinall |
| 1999-10-14 | Version 3.0 message | David Aspinall |
| 1999-10-12 | Note about author added, removed signatures. | David Aspinall |
| 1999-10-12 | New Coq maintainer. | David Aspinall |
| 1999-10-06 | News later this month. | David Aspinall |
| 1999-10-06 | Next version will be 3.0 cvs update | David Aspinall |
| 1999-09-30 | News for 1st October. | David Aspinall |
| 1999-09-24 | Added names of helpful people at summer shcool | David Aspinall |
| 1999-09-23 | Fixed up date order. | David Aspinall |
| 1999-09-22 | Added item about Giens | David Aspinall |
| 1999-08-27 | wording | David Aspinall |
| 1999-08-27 | Added gallery | David Aspinall |
| 1999-08-24 | Altered release date for 2.1. | David Aspinall |
| 1999-08-23 | Very soon now = now | David Aspinall |
| 1999-08-20 | Tweaks for 2.1 release | David Aspinall |
| 1999-08-20 | Changes for PG 2.1 | David Aspinall |
| 1999-07-03 | Tweaks and validation fixes. | David Aspinall |
| 1999-06-28 | Mention Plastic and Isar and release number of Emacs. | David Aspinall |
| 1999-06-24 | New web pages | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |