Changes for the Explain-- DTD, version 1.3

12th March 2002

Changes between versions 1.2 and 1.3 (Tue, 12 Mar 2002 11:50:12):

Feedback to <mike@indexdata.com> is welcome!