../ fonts/ 04-Mar-1999 20:04 - bibtex.sea.bin 10-Mar-1998 14:34 671360 doc.sea.bin 10-Mar-1998 14:59 9166848 dvips.sea.bin 10-Mar-1998 15:00 123904 gs.sea.bin 10-Mar-1998 16:30 2684416 hyperbibtex.sea.bin 10-Mar-1998 16:31 297728 makeidx.sea.bin 10-Mar-1998 16:31 32128 metafont.sea.bin 10-Mar-1998 16:32 110976 metapost.sea.bin 10-Mar-1998 16:32 58112 source.sea.bin 10-Mar-1998 16:46 4897664 tex.sea.bin 10-Mar-1998 16:57 3498112