rwxr-xr-x 4273/488      0 Dec 30 20:08 1993 elispman/
rw-r--r-- 4273/488 2319500 Aug  8 01:53 1993 elispman/elisp.dvi
rw-r--r-- 4273/488 2863748 Dec  6 18:23 1993 elispman/elisp.ps