rwxr-xr-x 1918/0      0 Sep 23 20:38 1993 islisp85/
rw-r--r-- 1918/0 583502 Jul 26 14:39 1993 islisp85/islisp-85.ps
rw-r--r-- 1918/0 343568 Jul 26 14:39 1993 islisp85/islisp-85.dvi