rwxr-xr-x 4273/0 0 Mar 25 17:22 1994 vlisp/ rw-r--r-- 4273/0 752 Jul 23 13:57 1993 vlisp/README rw-r--r-- 4273/0 1823 Jul 23 13:57 1993 vlisp/WHATIS rw-r--r-- 4273/0 135996 Jul 23 13:57 1993 vlisp/flattener.dvi rw-r--r-- 4273/0 157940 Jul 23 13:57 1993 vlisp/guide.dvi rw-r--r-- 4273/0 172456 Jul 23 13:57 1993 vlisp/image_builder.dvi rw-r--r-- 4273/0 59780 Jul 23 13:57 1993 vlisp/linker.dvi rw-r--r-- 4273/0 155144 Jul 23 13:57 1993 vlisp/prescheme.dvi rw-r--r-- 4273/0 121652 Jul 23 13:57 1993 vlisp/runtime.dvi rw-r--r-- 4273/0 279640 Jul 23 13:57 1993 vlisp/vm.dvi rw-r--r-- 4273/0 4357 Jul 23 13:57 1993 vlisp/vlisp.bib rw-r--r-- 4273/0 149464 Jul 23 13:57 1993 vlisp/pureprescheme.dvi rw-r--r-- 4273/0 229564 Jul 23 13:57 1993 vlisp/compiler.dvi rw-r--r-- 4273/0 150564 Jul 23 13:57 1993 vlisp/faithfulness.dvi