Hilbert II - Version 0.03.04

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.
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.