../ texhax.01 15-Jan-1999 13:46 7617 texhax.02 13-Feb-1999 15:01 8433 texhax.03 05-Mar-1999 10:15 5651 texhax.04 31-Mar-1999 15:37 8267 texhax.05 10-May-1999 13:23 16K texhax.06 05-Jun-1999 12:59 12K texhax.07 23-Jul-1999 10:39 8246 texhax.08 09-Aug-1999 14:10 5029 texhax.09 06-Oct-1999 08:30 8767 texhax.10 01-Dec-1999 15:23 9229 texhax.11 21-Dec-1999 18:02 2544 texhax.12 01-Jun-2000 11:24 14K texhax.13 01-Jun-2000 10:44 15K texhax.14 01-Aug-2000 11:31 9243