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