public class TeXExtension extends Object
Class defining constants to choose a TeX engine extension from.
static TeXExtension
ObjectTeX
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final TeXExtension ObjectTeX
ObjectTeX extensions.