/MakeCharTables.java/1.1/Wed Mar  6 18:54:45 2002//
/MakeDefaultMimeTypes.java/1.3/Thu Jan  8 05:20:31 2004//
/TexinfoDoclet.java/1.1/Mon Jan  8 00:27:50 2001//
/classes.pl/1.5/Mon Dec 30 22:42:20 2002//
/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.2/Wed Nov 24 13:33:01 2004//
/unicode-decomp.pl/1.1/Wed Mar  6 18:54:45 2002//
/unicode-muncher.pl/1.2/Fri Jul  9 21:00:11 2004//
D
