>>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote: >> The same tags shouldn't be used for different things.
> Then we might as well extend the DTD to have a required <email> tag > nested in each <herd> tag. But IIUC, the DTD must be changed also if the <herd> tag is removed? (Unless we want to leave a dead element in there.) Ulrich
pgpllngA3OFc2.pgp
Description: PGP signature
