Searched defs:texcodes (Results 1 – 1 of 1) sorted by relevance
93 Collection<String> texcodes) in convert()185 (URI t, File outDir, Collection<String> texcodes) throws CodeMappingException { in makeTransformationData()276 private Map<String, String> texcodes = new HashMap<String, String>(); field in ConvertTeXPattern.TexcodeReader362 Collection<String> texcodes = null; in main() local378 useStylesheet, texcodes); in main() local