drwxrwsr-x beebe/staff 0 Mar 6 13:39 1996 filehdr-1.28/ -rw-r--r-- beebe/staff 3990 Mar 6 09:56 1996 filehdr-1.28/Makefile -rw-rw-r-- beebe/staff 1161 Mar 6 13:38 1996 filehdr-1.28/filehdr.bbl -rw-r--r-- beebe/staff 3428 Dec 12 15:32 1991 filehdr-1.28/filehdr.bib -rw-rw-r-- beebe/staff 136740 Mar 6 13:34 1996 filehdr-1.28/filehdr.dvi -rw-r--r-- beebe/staff 68969 Mar 5 19:04 1996 filehdr-1.28/filehdr.el -rw-rw-r-- beebe/staff 74733 Mar 6 13:39 1996 filehdr-1.28/filehdr.info -rw-r--r-- beebe/staff 83232 Mar 6 13:34 1996 filehdr-1.28/filehdr.ltx -rw-r--r-- beebe/staff 1188 Mar 6 13:33 1996 filehdr-1.28/filehdr.sok -rwxr-xr-x beebe/staff 675 Mar 6 10:35 1996 filehdr-1.28/makeinfo -rw-r--r-- beebe/staff 4668 Dec 15 00:14 1991 filehdr-1.28/rcs.sty