…
..
classes.pl	javaprims.h: Updated.	2002-12-30 22:42:20 +00:00
encodings.pl	encodings.pl: Generate lower-case names.	2001-06-26 04:36:47 +00:00
MakeCharTables.java
MakeDefaultMimeTypes.java
mime.types
showval.java	* scripts/showval.java: New file.	2000-07-20 19:35:43 +00:00
TexinfoDoclet.java
unicode-blocks.pl
unicode-decomp.pl
unicode-muncher.pl