aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* News about HOL support.Gravatar David Aspinall2000-03-10
* Removed note to register from here.Gravatar David Aspinall2000-03-10
* Added note to register hereGravatar David Aspinall2000-03-10
* Exp support is in ordinary release, Plastic is special case.Gravatar David Aspinall2000-03-10
* UpdatedGravatar David Aspinall2000-03-10
* BrevityGravatar David Aspinall2000-03-10
* Set version tag for new release.Gravatar David Aspinall2000-03-09
* Added project for HOL PGGravatar David Aspinall2000-03-09
* Cleaned old linesGravatar David Aspinall2000-03-09
* Added link to CHANGES on this pageGravatar David Aspinall2000-03-09
* Only set page title if not already setGravatar David Aspinall2000-03-09
* TweaksGravatar David Aspinall2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-08
* Added link to Claudios page.Gravatar David Aspinall2000-03-08
* Added numbers to refer to projects more easily.Gravatar David Aspinall2000-03-08
* EnglishGravatar David Aspinall2000-03-08
* Tweaks. Me as LEGO maintainer as well as Paul.Gravatar David Aspinall2000-03-08
* Elaborated idea a bitGravatar David Aspinall2000-03-08
* Hard sell on elisp.Gravatar David Aspinall2000-03-08
* Links to developers todo files and README added. Prerelversion notified.Gravatar David Aspinall2000-03-08
* Fix parse error oopsGravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-03-01
* Unify terminology.Gravatar David Aspinall2000-03-01
* New projects addedGravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-02-29
* Include html in a small page via this page.Gravatar David Aspinall2000-02-29
* Put projects onto separate pages.Gravatar David Aspinall2000-02-29
* New projects directory.Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Added some more projectsGravatar David Aspinall2000-02-28
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Add link to white paper.Gravatar David Aspinall2000-02-24
* Fix titleGravatar David Aspinall2000-02-24
* TypoGravatar David Aspinall2000-02-17
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* Added browser projectGravatar David Aspinall2000-02-17
* TypoGravatar David Aspinall2000-02-17
* Fixup tar optionsGravatar David Aspinall2000-02-17
* Minor improvementsGravatar David Aspinall2000-02-15
* Minor improvementsGravatar David Aspinall2000-02-15
* More projects adedGravatar David Aspinall2000-02-15
* Note about registering.Gravatar David Aspinall2000-02-15
* Rephrasing.Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* Remove duplicate entry.Gravatar David Aspinall2000-02-15
* New development pages added, more linksGravatar David Aspinall2000-02-15
* Added link to OMEGA.Gravatar David Aspinall2000-02-09
* Improved download docsGravatar David Aspinall2000-02-09
* Added note about countdown to 3.1Gravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 22:25:06 +0000