DTD now generated with DTDDoc.
7 files changed