rwxr-xr-x 4273/488 0 May 20 15:24 1993 cltl2-tex/ rwxr-xr-x 4273/488 0 May 20 15:24 1993 cltl2-tex/lisp2tex/ rwxr-xr-x 4273/488 800 May 20 15:23 1993 cltl2-tex/lisp2tex/lisp2tex rw------- 4273/488 188 Dec 16 15:28 1992 cltl2-tex/lisp2tex/example.tex rw------- 4273/488 3123 Dec 16 15:28 1992 cltl2-tex/lisp2tex/marginal.tex rwxrwxrwx 4273/488 0 May 20 15:18 1993 cltl2-tex/lisp2tex/defun.tex symbolic link to ../defun.tex rw-r--r-- 4273/488 104 May 20 15:25 1993 cltl2-tex/lisp2tex/README rw------- 4273/488 1105 May 20 15:08 1993 cltl2-tex/README rw------- 4273/488 10301 Dec 16 15:27 1992 cltl2-tex/defun.tex rw-r--r-- 4273/488 22807 May 20 15:06 1993 cltl2-tex/CLTL.sty rw------- 4273/488 9640 Dec 16 15:27 1992 cltl2-tex/CLTL10.sty rwxr-xr-x 4273/488 0 May 20 15:19 1993 cltl2-tex/examples/ rw-r--r-- 4273/488 3144 May 20 15:08 1993 cltl2-tex/examples/clm.tex rw-r--r-- 4273/488 192430 May 20 15:07 1993 cltl2-tex/examples/contrl.tex rw-r--r-- 4273/488 241 May 20 15:21 1993 cltl2-tex/examples/README