MetaLexer Developers: Dev Manual_XXX.pdf, metalexer-src_XXX.pdf
MetaLexer-to-MetaLexer Users: User Manual_XXX.pdf, metalexer-metalexer_XXX.pdf
MetaLexer-to-JFlex Users: User Manual_XXX.pdf, metalexer-jflex_XXX.pdf
