--- a/DTDs/Project-6.4.dtd Fri Jan 22 14:14:15 2021 +0100 +++ b/DTDs/Project-6.4.dtd Fri Jan 22 16:48:43 2021 +0100 @@ -1,4 +1,4 @@ -<!-- This is the DTD for eric's project file version 6.3 --> +<!-- This is the DTD for eric's project file version 6.4 --> <!-- This is a copy of the Basic DTD --> <!ELEMENT int (#PCDATA)>