Class DefaultTeXFontParser


  • public class DefaultTeXFontParser
    extends java.lang.Object
    Parses the font information from an XML-file.