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