drwxr-sr-x beebe/staff 0 Nov 7 14:31 1992 filehdr-1.22/ -rw-r--r-- beebe/staff 3624 Nov 7 14:29 1992 filehdr-1.22/Makefile -rw-r--r-- beebe/staff 1161 Nov 7 14:25 1992 filehdr-1.22/filehdr.bbl -rw-r--r-- beebe/staff 3428 Dec 12 15:32 1991 filehdr-1.22/filehdr.bib -rw-r--r-- beebe/staff 134364 Aug 1 15:49 1992 filehdr-1.22/filehdr.dvi -rw-r--r-- beebe/staff 61500 Nov 7 14:15 1992 filehdr-1.22/filehdr.el -rw-r--r-- beebe/staff 73392 Jun 18 17:46 1992 filehdr-1.22/filehdr.info -rw-r--r-- beebe/staff 81833 May 29 12:11 1992 filehdr-1.22/filehdr.ltx -rw-r--r-- beebe/staff 676 May 29 11:32 1992 filehdr-1.22/filehdr.sok -rwxr-xr-x beebe/staff 642 Dec 15 00:19 1991 filehdr-1.22/makeinfo -rw-r--r-- beebe/staff 4668 Dec 15 00:14 1991 filehdr-1.22/rcs.sty