../ texhax.01 01-Mar-1997 16:29 32035 texhax.02 01-Mar-1997 16:29 13243 texhax.03 17-Apr-1997 15:03 8492 texhax.04 17-Apr-1997 15:03 11847 texhax.05 02-Jun-1997 13:56 15196 texhax.06 02-Aug-1997 13:06 14953 texhax.07 29-Aug-1997 11:03 9087 texhax.08 23-Sep-1997 09:18 9094 texhax.09 15-Oct-1997 10:21 14599 texhax.10 04-Nov-1997 16:53 5848 texhax.11 22-Dec-1997 11:57 14250