Mode | Name | Size | |
---|---|---|---|
d--------- | 68k | 70 | logplain |
-rw-r--r-- | BUGS | 3264 | logplain |
-rw-r--r-- | COPYRIGHT | 565 | logplain |
-rw-r--r-- | Makefile | 1246 | logplain |
-rw-r--r-- | README | 4300 | logplain |
-rw-r--r-- | README.DOS | 2139 | logplain |
d--------- | ada | 184 | logplain |
d--------- | awk | 106 | logplain |
-rw-r--r-- | big-web.ch | 2031 | logplain |
d--------- | c++ | 70 | logplain |
d--------- | c | 181 | logplain |
-rw-r--r-- | concrete-kernel.diff | 9179 | logplain |
d--------- | dijkstra | 174 | logplain |
d--------- | kelem | 188 | logplain |
d--------- | larch | 105 | logplain |
d--------- | master | 912 | logplain |
d--------- | nawk | 71 | logplain |
d--------- | penelope | 284 | logplain |
d--------- | postscript | 263 | logplain |
d--------- | reduce | 330 | logplain |
d--------- | sml | 110 | logplain |
d--------- | ssl | 68 | logplain |
d--------- | turing+ | 114 | logplain |
d--------- | turing | 73 | logplain |
-rw-r--r-- | webkernel.tex | 14760 | logplain |