Index of scripts

Directories

• Parent Directory

Files

• MakeCharTables.java (11695 bytes)
• MakeDefaultMimeTypes.java (2255 bytes)
• TexinfoDoclet.java (3395 bytes)
• classes.pl (2579 bytes)
• encodings.pl (1388 bytes)
• mime.types (7437 bytes)
• showval.java (1094 bytes)
• unicode-blocks.pl (7102 bytes)
• unicode-decomp.pl (3948 bytes)
• unicode-muncher.pl (18952 bytes)