aboutsummaryrefslogtreecommitdiff
path: root/html/main.phtml
AgeCommit message (Expand)Author
2000-04-2520.X -> recent, since XEmacs now on 21.David Aspinall
2000-03-13TypoDavid Aspinall
2000-03-13Updated web pages.David Aspinall
2000-03-10Exp support is in ordinary release, Plastic is special case.David Aspinall
2000-03-09Cleaned old linesDavid Aspinall
2000-03-08Tweaks. Me as LEGO maintainer as well as Paul.David Aspinall
1999-12-01Fix link to Dilip's rather uninformative pageDavid Aspinall
1999-12-01Fix broken linkDavid Aspinall
1999-11-30New screenshots.David Aspinall
1999-11-17Updated link to LFCS. Added link to demoisa-easy.elDavid Aspinall
1999-11-16UpdatesDavid Aspinall
1999-10-15FormattingDavid Aspinall
1999-10-12New Coq maintainer.David Aspinall
1999-09-21Replaced Patrick with desperate plea for help with Coq PG.David Aspinall
1999-08-20Tweaks for 2.1 releaseDavid Aspinall
1999-08-20Changes for PG 2.1David Aspinall
1999-07-22Downgraded Isabelle version to 98-1 againDavid Aspinall
1999-07-05Validator address fix.David Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-07-02Missing space.David Aspinall
1999-06-30Attribute LFCS on front pageDavid Aspinall
1999-06-30Simple hit counterDavid Aspinall
1999-06-28Mention Plastic and Isar and release number of Emacs.David Aspinall
1999-06-28pointer to FSF EmacsDavid Aspinall
1999-06-24New web pagesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:22:59 +0000