rwxr-xr-x 4273/0 0 Mar 25 07:32 1994 doc/ rw-r--r-- 4273/0 178826 Sep 8 03:45 1993 doc/LiSP2TeX.ps