That's not possible anyway; I'm certain that I'm able to spot errors and inconsistencies that would pass even the most complex verification tool. To make this particular verification tool useable, it's necessary to have a dtd that accepts a superset, the smaller the better. A dtd which only accepts a subset (perhaps along with some comments of how it's necessary to amend its shortcomings) is clearly useless for verification.
/ Martin Stjernholm, Roxen IS
Previous text:
2002-10-18 21:03: Subject: Autodocs in the latest 7.3
The problem is not to write a DTD that verifies all valid files. The problem is to write a DTD that finds all invalid files.
/ Martin Nilsson (Fake Build Master)