Closed jkuczm closed 8 years ago
New features: "CommonestTypesAsTeXOptions" and "BoxesToAnnotationTypes" options added to annotateSyntaxProcessor.
"CommonestTypesAsTeXOptions"
"BoxesToAnnotationTypes"
annotateSyntaxProcessor
Fixed bug: commonest syntax roles of symbols containing non-ASCII characters are no longer moved to TeX environments option.
New features:
"CommonestTypesAsTeXOptions"
and"BoxesToAnnotationTypes"
options added toannotateSyntaxProcessor
.Fixed bug: commonest syntax roles of symbols containing non-ASCII characters are no longer moved to TeX environments option.