Package | Description |
---|---|
net.sourceforge.czt.print.util | |
net.sourceforge.czt.print.z |
Provides classes for printing standard Z specifications in Unicode or
in the LaTeX mark-up language.
|
Modifier and Type | Class and Description |
---|---|
class |
LatexString |
class |
OldLatexString |
class |
UnicodeString |
class |
XmlString |
Modifier and Type | Method and Description |
---|---|
static CztPrintString |
PrintUtils.printCztStringOf(String name,
SectionManager sectInfo,
Markup markup)
Prints the given name in the given markup using CztPrintString.
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.