Changes for the Explain-- DTD, version 1.3
12th March 2002
Changes between versions
(Tue, 12 Mar 2002 11:50:12):
- Add version, authorship and date information to header comment.
- Add optional protocol attribute to the
serverInfo element, with default value
- Make the title and description subelements of
the databaseInfo element options, so that they may be
specified in an F&N record (element set ``b'').
- The name element taken out of index and moved
down a level inside its map subelement, reflecting
its broad equivalence to a use attribute.
- Accordingly, the map subelement is now mandatory (and
still repeatable). Each index must have at least one map.
- Minor formatting changes (use of whitespace made more