|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |