rwxr-xr-x 4273/0 0 Apr 6 01:50 1994 doc/ rw-r--r-- 4273/0 52661 Aug 4 20:51 1993 doc/xscheme.tex rw-r--r-- 4273/0 65960 Aug 4 20:51 1993 doc/xscheme.dvi