![[ICO]](/meta/icons/blank.png){kind=icon}
![[PARENTDIR]](/meta/icons/folder-home.png){kind=icon}
![[DIR]](/meta/icons/folder.png){kind=icon}
![[ ]](/meta/icons/doc.png){kind=icon}
![[ ]](/meta/icons/default.png){kind=icon}
![[ ]](/meta/icons/readme.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| turing/ | 1999-10-20 07:25 | - | |
| turing+/ | 1999-10-20 07:25 | - | |
| ssl/ | 1999-10-20 07:25 | - | |
| sml/ | 1999-10-20 07:25 | - | |
| reduce/ | 1999-10-20 07:25 | - | |
| postscript/ | 1999-10-20 07:25 | - | |
| penelope/ | 1999-10-20 07:25 | - | |
| nawk/ | 1999-10-20 07:25 | - | |
| master/ | 1999-10-20 07:25 | - | |
| larch/ | 1999-10-20 07:25 | - | |
| kelem/ | 1999-10-20 07:25 | - | |
| dijkstra/ | 1999-10-20 07:25 | - | |
| c/ | 1999-10-20 07:25 | - | |
| c++/ | 1999-10-20 07:25 | - | |
| awk/ | 1999-10-20 07:25 | - | |
| ada/ | 1999-10-20 07:25 | - | |
| 68k/ | 1999-10-20 07:25 | - | |
| webkernel.tex | 1993-06-29 00:00 | 14K | |
| concrete-kernel.diff | 1992-07-26 00:00 | 9.0K | |
| README | 1993-04-04 00:00 | 4.2K | |
| BUGS | 1991-02-18 00:00 | 3.2K | |
| README.DOS | 1990-02-01 00:00 | 2.1K | |
| big-web.ch | 1989-02-08 00:00 | 2.0K | |
| Makefile | 1993-04-04 00:00 | 1.2K | |
| COPYRIGHT | 1993-04-04 00:00 | 565 |