aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
1999-11-16Spruced up features listDavid Aspinall
1999-11-15Set version tag for new release.David Aspinall
1999-11-15Added in-testing messageDavid Aspinall
1999-11-12Set version tag for new release.David Aspinall
1999-11-10Set version tag for new release.David Aspinall
1999-11-09Set version tag for new release.David Aspinall
1999-11-09No unless notedDavid Aspinall
1999-11-09News about x-symbolDavid Aspinall
1999-11-08Note about release 3.0.David Aspinall
1999-11-02Set version tag for new release.David Aspinall
1999-10-22Set version tag for new release.David Aspinall
1999-10-21Typo.David Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-21Updated for new screenshotDavid Aspinall
1999-10-21New screenshotDavid Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-15Fixed bugDavid Aspinall
1999-10-15Doc fixes, php streamliningDavid Aspinall
1999-10-15FormattingDavid Aspinall
1999-10-14Set version tag for new release.David Aspinall
1999-10-14Version 3.0 messageDavid Aspinall
1999-10-12WordingDavid Aspinall
1999-10-12Note about author added, removed signatures.David Aspinall
1999-10-12New Coq maintainer.David Aspinall
1999-10-12Set version tag for new release.David Aspinall
1999-10-07Set version tag for new release.David Aspinall
1999-10-06Remove LucidaSans, defaults to tt font.David Aspinall
1999-10-06News later this month.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-01Set version tag for new release.David Aspinall
1999-09-30News for 1st October.David Aspinall
1999-09-30Set version tag for new release.David Aspinall
1999-09-30Mentioned and linked ChangeLog file.David Aspinall
1999-09-29Set version tag for new release.David Aspinall
1999-09-28Set version tag for new release.David Aspinall
1999-09-27Set version tag for new release.David Aspinall
1999-09-24Added names of helpful people at summer shcoolDavid Aspinall
1999-09-23Set version tag for new release.David Aspinall
1999-09-23Fixed up date order.David Aspinall
1999-09-22Set version tag for new release.David Aspinall
1999-09-22Added item about GiensDavid Aspinall
1999-09-21Set version tag for new release.David Aspinall
1999-09-21Replaced Patrick with desperate plea for help with Coq PG.David Aspinall
1999-09-13Set version tag for new release.David Aspinall
1999-09-13Mention Yves Bertot on about pageDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
1999-08-27Note about volumeDavid Aspinall
1999-08-27Set version tag for new release.David Aspinall
1999-08-27wordingDavid Aspinall
1999-08-27Added galleryDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:52:33 +0000