rwxr-xr-x 4273/0 0 Jul 6 00:07 1994 tex/ rw-r--r-- 4273/0 341 Aug 17 18:40 1993 tex/README rw-r--r-- 4273/0 14122 Aug 9 20:31 1993 tex/covingtn.sty rw-r--r-- 4273/0 13828 Aug 9 20:31 1993 tex/covingtn.tex rw-r--r-- 4273/0 4367 Aug 9 20:31 1993 tex/covi1991.sty