rwxr-xr-x 4273/0 0 Jan 4 17:46 1994 gabriel/ rw-r--r-- 4273/0 42990 Nov 30 22:46 1992 gabriel/gabriel-on-lisp.tex rw-r--r-- 4273/0 53024 Jan 4 17:46 1994 gabriel/gabriel-on-lisp.dvi rw-r--r-- 4273/0 79637 Jan 4 17:46 1994 gabriel/gabriel-on-lisp.ps