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