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