TeXExtension

Inheritance: java.lang.Object

public class TeXExtension

Class defining constants to choose a TeX engine extension from.

Fields

FieldDescription
ObjectTeXObjectTeX extensions.

ObjectTeX

public static final TeXExtension ObjectTeX

ObjectTeX extensions.

TeXConfig TeXInputStream