aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Collapse)Author
2000-03-13Set version tag for new release.David Aspinall
2000-03-13Updated web pages.David Aspinall
2000-03-10Set version tag for new release.David Aspinall
2000-03-10News about HOL support.David Aspinall
2000-03-10Removed note to register from here.David Aspinall
2000-03-10Added note to register hereDavid Aspinall
2000-03-10Exp support is in ordinary release, Plastic is special case.David Aspinall
2000-03-10UpdatedDavid Aspinall
2000-03-10BrevityDavid Aspinall
2000-03-09Set version tag for new release.David Aspinall
2000-03-09Added project for HOL PGDavid Aspinall
2000-03-09Cleaned old linesDavid Aspinall
2000-03-09Added link to CHANGES on this pageDavid Aspinall
2000-03-09Only set page title if not already setDavid Aspinall
2000-03-09TweaksDavid Aspinall
2000-03-08Set version tag for new release.David Aspinall
2000-03-08Added link to Claudios page.David Aspinall
2000-03-08Added numbers to refer to projects more easily.David Aspinall
2000-03-08EnglishDavid Aspinall
2000-03-08Tweaks. Me as LEGO maintainer as well as Paul.David Aspinall
2000-03-08Elaborated idea a bitDavid Aspinall
2000-03-08Hard sell on elisp.David Aspinall
2000-03-08Links to developers todo files and README added. Prerelversion notified.David Aspinall
2000-03-01Fix parse error oopsDavid Aspinall
2000-03-01Set version tag for new release.David Aspinall
2000-03-01Unify terminology.David Aspinall
2000-03-01New projects addedDavid Aspinall
2000-02-29Set version tag for new release.David Aspinall
2000-02-29Include html in a small page via this page.David Aspinall
2000-02-29Put projects onto separate pages.David Aspinall
2000-02-29New projects directory.David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-28Added some more projectsDavid Aspinall
2000-02-24Set version tag for new release.David Aspinall
2000-02-24Add link to white paper.David Aspinall
2000-02-24Fix titleDavid Aspinall
2000-02-17TypoDavid Aspinall
2000-02-17Set version tag for new release.David Aspinall
2000-02-17Added browser projectDavid Aspinall
2000-02-17TypoDavid Aspinall
2000-02-17Fixup tar optionsDavid Aspinall
2000-02-15Minor improvementsDavid Aspinall
2000-02-15Minor improvementsDavid Aspinall
2000-02-15More projects adedDavid Aspinall
2000-02-15Note about registering.David Aspinall
2000-02-15Rephrasing.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-15Remove duplicate entry.David Aspinall
2000-02-15New development pages added, more linksDavid Aspinall
2000-02-09Added link to OMEGA.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 00:14:58 +0000