rwxr-xr-x 4273/0      0 Dec 30 00:38 1993 user_man/
rw-r--r-- 4273/0  39734 Dec 30 00:38 1993 user_man/user-manual.lisp
rw-r--r-- 4273/0  39490 Jan 11 16:53 1993 user_man/user-manual.ps
rw-r--r-- 4273/0   1597 Jan 11 16:53 1993 user_man/lisp-documentation.tex