aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* Note about release 3.0.Gravatar David Aspinall1999-11-08
* Set version tag for new release.Gravatar David Aspinall1999-11-02
* Set version tag for new release.Gravatar David Aspinall1999-10-22
* Typo.Gravatar David Aspinall1999-10-21
* Set version tag for new release.Gravatar David Aspinall1999-10-21
* Updated for new screenshotGravatar David Aspinall1999-10-21
* New screenshotGravatar David Aspinall1999-10-21
* Set version tag for new release.Gravatar David Aspinall1999-10-20
* Fixed bugGravatar David Aspinall1999-10-15
* Doc fixes, php streamliningGravatar David Aspinall1999-10-15
* FormattingGravatar David Aspinall1999-10-15
* Set version tag for new release.Gravatar David Aspinall1999-10-14
* Version 3.0 messageGravatar David Aspinall1999-10-14
* 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