../ texhax.01 15-Jan-1999 19:16 7617 texhax.02 13-Feb-1999 20:31 8433 texhax.03 05-Mar-1999 15:45 5651 texhax.04 31-Mar-1999 21:07 8267 texhax.05 10-May-1999 18:53 16K texhax.06 05-Jun-1999 18:29 12K texhax.07 23-Jul-1999 16:09 8246 texhax.08 09-Aug-1999 19:40 5029 texhax.09 06-Oct-1999 14:00 8767 texhax.10 01-Dec-1999 20:53 9229 texhax.11 21-Dec-1999 23:32 2544 texhax.12 01-Jun-2000 16:54 14K texhax.13 01-Jun-2000 16:14 15K texhax.14 01-Aug-2000 17:01 9243