../ texhax.01 01-Mar-1997 21:59 31K texhax.02 01-Mar-1997 21:59 13K texhax.03 17-Apr-1997 20:33 8492 texhax.04 17-Apr-1997 20:33 12K texhax.05 02-Jun-1997 19:26 15K texhax.06 02-Aug-1997 18:36 15K texhax.07 29-Aug-1997 16:33 9087 texhax.08 23-Sep-1997 14:48 9094 texhax.09 15-Oct-1997 15:51 14K texhax.10 04-Nov-1997 22:23 5848 texhax.11 22-Dec-1997 17:27 14K