tree 5be2c0eeb49db48e5b949738f042a64405fac659
parent 6cae4f3bc9b92f9bbda753843e8ff0f0bbbb8fb3
author Ian Romanick <idr@us.ibm.com> 1113519586 +0000
committer Ian Romanick <idr@us.ibm.com> 1113519586 +0000

Modify the DTD to use NMTOKEN, enumerants, and explicit default values
wherever possible.  Correct a couple mis-uses of the 'counter' attribute
when 'count' was intended.  Fix some errors in the DTD and in the data with
'doubles_in_order'.