aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
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
1999-08-27New images for galleryDavid Aspinall
1999-08-24Altered release date for 2.1.David Aspinall
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23Very soon now = nowDavid Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-20Admit that unstable means bugs.David Aspinall
1999-08-20Tweaks for 2.1 releaseDavid Aspinall
1999-08-20Changes for PG 2.1David Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-19Set version tag for new release.David Aspinall
1999-08-17Mention mailing listDavid Aspinall
1999-08-17Mention developers mailing listDavid Aspinall
1999-08-17Mail to majordomo, not daDavid Aspinall
1999-08-17HTML tweaksDavid Aspinall
1999-08-17Set version tag for new release.David Aspinall
1999-07-22Set version tag for new release.David Aspinall
1999-07-22Downgraded Isabelle version to 98-1 againDavid Aspinall
1999-07-16Set version tag for new release.David Aspinall
1999-07-07Set version tag for new release.David Aspinall
1999-07-05Validator address fix.David Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-07-03Fixed validator address.David Aspinall
1999-07-03CommentDavid Aspinall
1999-07-03Request to register a little more encouraging.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02Set version tag for new release.David Aspinall
1999-07-02Missing space.David Aspinall
1999-07-02Spaces and punctuationDavid Aspinall
1999-07-02Notes about php functions.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 11:05:12 +0000