Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Modified, now white paper contains DTDs (soon) | 2000-07-16 | |
* | New project (unlinked yet) | 2000-05-09 | |
* | Added new project B4 | 2000-04-04 | |
* | Improved links, new project on ACS. | 2000-03-19 | |
* | Updated web pages. | 2000-03-13 | |
* | Updated | 2000-03-10 | |
* | Added project for HOL PG | 2000-03-09 | |
* | Tweaks | 2000-03-09 | |
* | Added link to Claudios page. | 2000-03-08 | |
* | English | 2000-03-08 | |
* | Elaborated idea a bit | 2000-03-08 | |
* | New projects added | 2000-03-01 | |
* | New projects directory. | 2000-02-29 |