Package | Description |
---|---|
eu.bandm.tools.dtm |
Canonical model of a W3C DTD with evaluated semantics; plus utility applications.
|
Modifier and Type | Class and Description |
---|---|
protected class |
Tool.MyGui |
Modifier and Type | Method and Description |
---|---|
static ToolGui |
ToolGui.makeInstance(ToolOptions model0) |
see also the complete user documentation .