rwxr-xr-x 4273/0 0 Apr 8 15:29 1994 style/ rw-r--r-- 4273/0 25800 Apr 8 15:29 1994 style/lisp-style.ps rw-r--r-- 4273/0 9657 Apr 8 15:29 1994 style/lisp-style.tex