aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* WordingGravatar David Aspinall1999-10-12
* Note about author added, removed signatures.Gravatar David Aspinall1999-10-12
* New Coq maintainer.Gravatar David Aspinall1999-10-12
* Set version tag for new release.Gravatar David Aspinall1999-10-12
* Set version tag for new release.Gravatar David Aspinall1999-10-07
* Remove LucidaSans, defaults to tt font.Gravatar David Aspinall1999-10-06
* News later this month.Gravatar David Aspinall1999-10-06
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* Set version tag for new release.Gravatar David Aspinall1999-10-01
* News for 1st October.Gravatar David Aspinall1999-09-30
* Set version tag for new release.Gravatar David Aspinall1999-09-30
* Mentioned and linked ChangeLog file.Gravatar David Aspinall1999-09-30
* Set version tag for new release.Gravatar David Aspinall1999-09-29
* Set version tag for new release.Gravatar David Aspinall1999-09-28
* Set version tag for new release.Gravatar David Aspinall1999-09-27
* Added names of helpful people at summer shcoolGravatar David Aspinall1999-09-24
* Set version tag for new release.Gravatar David Aspinall1999-09-23
* Fixed up date order.Gravatar David Aspinall1999-09-23
* Set version tag for new release.Gravatar David Aspinall1999-09-22
* Added item about GiensGravatar David Aspinall1999-09-22
* Set version tag for new release.Gravatar David Aspinall1999-09-21
* Replaced Patrick with desperate plea for help with Coq PG.Gravatar David Aspinall1999-09-21
* Set version tag for new release.Gravatar David Aspinall1999-09-13
* Mention Yves Bertot on about pageGravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Note about volumeGravatar David Aspinall1999-08-27
* Set version tag for new release.Gravatar David Aspinall1999-08-27
* wordingGravatar David Aspinall1999-08-27
* Added galleryGravatar David Aspinall1999-08-27
* New images for galleryGravatar David Aspinall1999-08-27
* Altered release date for 2.1.Gravatar David Aspinall1999-08-24
* Changes for 2.3 series pre-releases.Gravatar David Aspinall1999-08-23
* Very soon now = nowGravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Admit that unstable means bugs.Gravatar David Aspinall1999-08-20
* Tweaks for 2.1 releaseGravatar David Aspinall1999-08-20
* Changes for PG 2.1Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-19
* Mention mailing listGravatar David Aspinall1999-08-17
* Mention developers mailing listGravatar David Aspinall1999-08-17
* Mail to majordomo, not daGravatar David Aspinall1999-08-17
* HTML tweaksGravatar David Aspinall1999-08-17
* Set version tag for new release.Gravatar David Aspinall1999-08-17
* Set version tag for new release.Gravatar David Aspinall1999-07-22
* Downgraded Isabelle version to 98-1 againGravatar David Aspinall1999-07-22
* Set version tag for new release.Gravatar David Aspinall1999-07-16
* Set version tag for new release.Gravatar David Aspinall1999-07-07
* Validator address fix.Gravatar David Aspinall1999-07-05
* Tweaks and validation fixes.Gravatar David Aspinall1999-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 02:05:58 +0000