Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated for new screenshot | 1999-10-21 | |
* | New screenshot | 1999-10-21 | |
* | Set version tag for new release. | 1999-10-20 | |
* | Fixed bug | 1999-10-15 | |
* | Doc fixes, php streamlining | 1999-10-15 | |
* | Formatting | 1999-10-15 | |
* | Set version tag for new release. | 1999-10-14 | |
* | Version 3.0 message | 1999-10-14 | |
* | Wording | 1999-10-12 | |
* | Note about author added, removed signatures. | 1999-10-12 | |
* | New Coq maintainer. | 1999-10-12 | |
* | Set version tag for new release. | 1999-10-12 | |
* | Set version tag for new release. | 1999-10-07 | |
* | Remove LucidaSans, defaults to tt font. | 1999-10-06 | |
* | News later this month. | 1999-10-06 | |
* | Next version will be 3.0 cvs update | 1999-10-06 | |
* | Set version tag for new release. | 1999-10-01 | |
* | News for 1st October. | 1999-09-30 | |
* | Set version tag for new release. | 1999-09-30 | |
* | Mentioned and linked ChangeLog file. | 1999-09-30 | |
* | Set version tag for new release. | 1999-09-29 | |
* | Set version tag for new release. | 1999-09-28 | |
* | Set version tag for new release. | 1999-09-27 | |
* | Added names of helpful people at summer shcool | 1999-09-24 | |
* | Set version tag for new release. | 1999-09-23 | |
* | Fixed up date order. | 1999-09-23 | |
* | Set version tag for new release. | 1999-09-22 | |
* | Added item about Giens | 1999-09-22 | |
* | Set version tag for new release. | 1999-09-21 | |
* | Replaced Patrick with desperate plea for help with Coq PG. | 1999-09-21 | |
* | Set version tag for new release. | 1999-09-13 | |
* | Mention Yves Bertot on about page | 1999-09-13 | |
* | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | 1999-09-13 | |
* | Note about volume | 1999-08-27 | |
* | Set version tag for new release. | 1999-08-27 | |
* | wording | 1999-08-27 | |
* | Added gallery | 1999-08-27 | |
* | New images for gallery | 1999-08-27 | |
* | Altered release date for 2.1. | 1999-08-24 | |
* | Changes for 2.3 series pre-releases. | 1999-08-23 | |
* | Very soon now = now | 1999-08-23 | |
* | Set version tag for new release. | 1999-08-23 | |
* | Admit that unstable means bugs. | 1999-08-20 | |
* | Tweaks for 2.1 release | 1999-08-20 | |
* | Changes for PG 2.1 | 1999-08-20 | |
* | Set version tag for new release. | 1999-08-20 | |
* | Set version tag for new release. | 1999-08-19 | |
* | Mention mailing list | 1999-08-17 | |
* | Mention developers mailing list | 1999-08-17 | |
* | Mail to majordomo, not da | 1999-08-17 |