Uses of Class
org.qedeq.kernel.utility.TextOutput

Packages that use TextOutput

org.qedeq.kernel.latex

LaTeX export abilities of the kernel.

Uses of TextOutput in org.qedeq.kernel.latex

Methods in org.qedeq.kernel.latex with parameters of type TextOutput

static void	Qedeq2Xml.print(String globalContext, QedeqBo qedeq, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.
static void	Qedeq2Latex.print(String globalContext, QedeqBo qedeq, TextOutput printer, String language, String level) Prints a XML representation of given QEDEQ module into a given output stream.