/MakeCharTables.java/1.1/Wed Jan 22 19:13:24 2003//
/MakeDefaultMimeTypes.java/1.2/Tue Mar  7 19:55:28 2000//
/TexinfoDoclet.java/1.1/Mon Jan  8 00:27:50 2001//
/classes.pl/1.5/Wed Jan 22 19:13:24 2003//
/encodings.pl/1.3/Tue Jun 26 04:36:47 2001//
/mime.types/1.1/Mon Feb 21 05:54:29 2000//
/showval.java/1.1/Thu Jul 20 19:35:43 2000//
/unicode-blocks.pl/1.1/Wed Jan 22 19:13:24 2003//
/unicode-decomp.pl/1.1/Wed Jan 22 19:13:24 2003//
/unicode-muncher.pl/1.1/Wed Jan 22 19:13:24 2003//
D
