| 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 .