Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated web pages. | 2000-03-13 | |
* | Set version tag for new release. | 2000-03-10 | |
* | News about HOL support. | 2000-03-10 | |
* | Removed note to register from here. | 2000-03-10 | |
* | Added note to register here | 2000-03-10 | |
* | Exp support is in ordinary release, Plastic is special case. | 2000-03-10 | |
* | Updated | 2000-03-10 | |
* | Brevity | 2000-03-10 | |
* | Set version tag for new release. | 2000-03-09 | |
* | Added project for HOL PG | 2000-03-09 | |
* | Cleaned old lines | 2000-03-09 | |
* | Added link to CHANGES on this page | 2000-03-09 | |
* | Only set page title if not already set | 2000-03-09 | |
* | Tweaks | 2000-03-09 | |
* | Set version tag for new release. | 2000-03-08 | |
* | Added link to Claudios page. | 2000-03-08 | |
* | Added numbers to refer to projects more easily. | 2000-03-08 | |
* | English | 2000-03-08 | |
* | Tweaks. Me as LEGO maintainer as well as Paul. | 2000-03-08 | |
* | Elaborated idea a bit | 2000-03-08 | |
* | Hard sell on elisp. | 2000-03-08 | |
* | Links to developers todo files and README added. Prerelversion notified. | 2000-03-08 | |
* | Fix parse error oops | 2000-03-01 | |
* | Set version tag for new release. | 2000-03-01 | |
* | Unify terminology. | 2000-03-01 | |
* | New projects added | 2000-03-01 | |
* | Set version tag for new release. | 2000-02-29 | |
* | Include html in a small page via this page. | 2000-02-29 | |
* | Put projects onto separate pages. | 2000-02-29 | |
* | New projects directory. | 2000-02-29 | |
* | Set version tag for new release. | 2000-02-28 | |
* | Added some more projects | 2000-02-28 | |
* | Set version tag for new release. | 2000-02-24 | |
* | Add link to white paper. | 2000-02-24 | |
* | Fix title | 2000-02-24 | |
* | Typo | 2000-02-17 | |
* | Set version tag for new release. | 2000-02-17 | |
* | Added browser project | 2000-02-17 | |
* | Typo | 2000-02-17 | |
* | Fixup tar options | 2000-02-17 | |
* | Minor improvements | 2000-02-15 | |
* | Minor improvements | 2000-02-15 | |
* | More projects aded | 2000-02-15 | |
* | Note about registering. | 2000-02-15 | |
* | Rephrasing. | 2000-02-15 | |
* | Set version tag for new release. | 2000-02-15 | |
* | Remove duplicate entry. | 2000-02-15 | |
* | New development pages added, more links | 2000-02-15 | |
* | Added link to OMEGA. | 2000-02-09 | |
* | Improved download docs | 2000-02-09 |