Filename Modification time Size texhax.01 1998-02-07 15:58 CET 18 KiB texhax.02 1998-06-06 14:21 CEST 3908 B texhax.03 1998-06-06 14:17 CEST 5276 B texhax.04 1998-07-06 16:36 CEST 13 KiB texhax.05 1998-09-05 12:42 CEST 27 KiB texhax.06 1998-10-12 19:05 CEST 3099 B texhax.08 1998-12-02 13:56 CET 9401 B texhax.09 1998-12-21 11:32 CET 6691 B
