rwxr-xr-x 327/0 0 Jan 8 15:05 1992 ./ rwxr-xr-x 327/0 0 Nov 29 13:52 1989 ./fonts/ rw-r--r-- 327/0 444 Nov 21 15:14 1989 ./fonts/et10.tfm rw-r--r-- 327/0 444 Nov 21 15:26 1989 ./fonts/et12.tfm rw-r--r-- 327/0 444 Nov 21 15:28 1989 ./fonts/et8.tfm rw-r--r-- 327/0 444 Nov 21 15:29 1989 ./fonts/et9.tfm rw-r--r-- 327/0 174 Nov 29 13:52 1989 ./fonts/README rwxr-xr-x 327/0 0 Dec 8 10:06 1989 ./mf/ rw-r--r-- 327/0 383 Nov 16 12:42 1989 ./mf/cmumodes.mf rw-r--r-- 327/0 18105 Nov 29 14:23 1989 ./mf/et.mf rw-r--r-- 327/0 4687 Nov 16 12:42 1989 ./mf/et10.mf rw-r--r-- 327/0 4682 Nov 16 12:42 1989 ./mf/et12.mf rw-r--r-- 327/0 4675 Nov 16 12:42 1989 ./mf/et8.mf rw-r--r-- 327/0 4682 Nov 16 12:42 1989 ./mf/et9.mf rw-r--r-- 327/0 751 Dec 8 10:02 1989 ./mf/README rwxr-xr-x 327/0 0 Dec 8 09:44 1989 ./papers/ rwxr-xr-x 327/0 0 Dec 8 09:43 1989 ./papers/oldtr/ rw-r--r-- 327/0 40876 Nov 29 14:01 1989 ./papers/oldtr/p.tex rw-r--r-- 327/0 155 Dec 8 09:43 1989 ./papers/oldtr/README rwxr-xr-x 327/0 0 Sep 21 10:58 1992 ./papers/cacm/ rw-r--r-- 99/0 47415 Mar 3 01:32 1992 ./papers/cacm/p.tex rw-r--r-- 327/0 44381 May 24 15:02 1991 ./papers/cacm/submission.tex rwxr-xr-x 327/0 0 May 24 15:04 1991 ./papers/cacm/code.sty symbolic link to ../../tex/code.sty rwxr-xr-x 327/0 0 May 24 15:04 1991 ./papers/cacm/evaltrace.sty symbolic link to ../../tex/evaltrace.sty rwxr-xr-x 327/0 0 May 24 15:04 1991 ./papers/cacm/evaltrace12.sty symbolic link to ../../tex/evaltrace12.sty rwxr-xr-x 327/0 0 May 24 15:06 1991 ./papers/cacm/et10.tfm symbolic link to ../../fonts/et10.tfm rw-r--r-- 327/0 184 Jun 3 14:31 1991 ./papers/cacm/README rw-r--r-- 327/0 1949 Mar 3 01:35 1992 ./papers/cacm/p.log rwxr-xr-x 327/0 0 May 24 15:09 1991 ./papers/cacm/et10.300pk symbolic link to ../../pk300/et10.300pk rwxr-xr-x 327/0 0 May 24 15:18 1991 ./papers/cacm/et10.329pk symbolic link to ../../pk300/et10.329pk rw-r--r-- 327/0 4663 Mar 3 01:35 1992 ./papers/cacm/p.aux rw-r--r-- 327/0 57728 Mar 3 01:35 1992 ./papers/cacm/p.dvi rw-r--r-- 99/0 117961 Apr 20 13:45 1992 ./papers/cacm/p.ps rw-r--r-- 327/0 48193 Jun 4 13:12 1991 ./papers/cacm/p.old rw-r--r-- 327/0 16384 Jun 3 16:12 1991 ./papers/cacm/cover.doc rw-r--r-- 327/0 1933 Feb 28 18:40 1992 ./papers/cacm/plotkin.tex rw-r--r-- 327/0 1105 Feb 28 18:34 1992 ./papers/cacm/plotkin0.tex rw-r--r-- 99/0 1335 Feb 20 02:54 1992 ./papers/cacm/maurer-letter.tex rw-r--r-- 99/0 2532 Aug 2 03:39 1992 ./papers/cacm/figures-redone rw-r--r-- 99/0 9214 Aug 2 03:42 1992 ./papers/cacm/lambert1.ps rw-r--r-- 99/0 1538 Aug 2 03:42 1992 ./papers/cacm/lambert1.mss rwxr-xr-x 327/0 0 Dec 8 09:44 1989 ./papers/junk/ rw-r--r-- 327/0 10881 Sep 19 08:27 1989 ./papers/junk/Comments.old rw-r--r-- 327/0 6823 Sep 10 22:48 1989 ./papers/junk/basic.tex rw-r--r-- 327/0 22049 Aug 31 15:54 1989 ./papers/junk/closures.tex rw-r--r-- 327/0 72 Aug 31 14:14 1989 ./papers/junk/conclusion.tex rw-r--r-- 327/0 5235 Sep 10 22:48 1989 ./papers/junk/contours.tex rw-r--r-- 327/0 1589 Aug 31 14:16 1989 ./papers/junk/evaltrace.bib rw-r--r-- 327/0 4192 Sep 10 22:48 1989 ./papers/junk/intro.tex rw-r--r-- 327/0 1769 Aug 31 14:20 1989 ./papers/junk/main.tex rw-r--r-- 327/0 10210 Sep 10 22:48 1989 ./papers/junk/rule.tex rw-r--r-- 327/0 5863 Aug 31 14:14 1989 ./papers/junk/scoping.tex rw-r--r-- 99/0 772 Oct 14 04:11 1989 ./papers/junk/dave-scraps rw-r--r-- 99/0 6228 Oct 21 02:08 1989 ./papers/junk/kons-scraps rw-r--r-- 327/0 511 Dec 8 09:47 1989 ./README rwxr-xr-x 327/0 0 May 29 14:09 1991 ./doc/ rw-r--r-- 327/0 20902 Dec 8 09:42 1989 ./doc/docbody.tex rw-r--r-- 327/0 743 Dec 8 09:12 1989 ./doc/doc.tex rwxr-xr-x 327/0 0 Nov 29 13:57 1989 ./gf300/ rw-r--r-- 327/0 5628 Nov 21 15:14 1989 ./gf300/et10.329gf rw-r--r-- 327/0 5068 Nov 16 17:55 1989 ./gf300/et10.300gf rw-r--r-- 327/0 6144 Nov 21 15:26 1989 ./gf300/et12.300gf rw-r--r-- 327/0 4452 Nov 21 15:28 1989 ./gf300/et8.300gf rw-r--r-- 327/0 4700 Nov 21 15:29 1989 ./gf300/et9.300gf rw-r--r-- 327/0 225 Nov 29 13:57 1989 ./gf300/README rwxr-xr-x 327/0 0 Nov 30 14:34 1989 ./tex/ rw-r--r-- 327/0 3383 Nov 30 14:28 1989 ./tex/code.sty rw-r--r-- 327/0 421 Nov 29 14:03 1989 ./tex/evaltrace.sty rw-r--r-- 327/0 4376 Nov 29 14:21 1989 ./tex/evaltrace10.sty rw-r--r-- 327/0 4364 Nov 29 14:22 1989 ./tex/evaltrace11.sty rw-r--r-- 327/0 4404 Nov 29 14:22 1989 ./tex/evaltrace12.sty rw-r--r-- 327/0 3351 Nov 16 12:41 1989 ./tex/cmu-titlepage.sty rw-r--r-- 327/0 609 Nov 29 16:34 1989 ./tex/README rwxr-xr-x 327/0 0 Dec 8 10:12 1989 ./techreport/ rw-r--r-- 327/0 108 Dec 7 18:33 1989 ./techreport/README rw-r--r-- 327/0 251543 Dec 8 10:08 1989 ./techreport/p.ps rw-r--r-- 327/0 43908 Dec 8 09:51 1989 ./techreport/p.tex rwxr-xr-x 327/0 0 Nov 29 13:57 1989 ./pk300/ rw-r--r-- 327/0 1352 Nov 16 12:44 1989 ./pk300/et10.300pk rw-r--r-- 327/0 1580 Nov 21 15:27 1989 ./pk300/et12.300pk rw-r--r-- 327/0 1192 Nov 21 15:28 1989 ./pk300/et8.300pk rw-r--r-- 327/0 1160 Nov 21 15:29 1989 ./pk300/et9.300pk rw-r--r-- 327/0 1512 Nov 21 15:14 1989 ./pk300/et10.329pk rw-r--r-- 327/0 223 Nov 29 13:56 1989 ./pk300/README