diff -r 000000000000 -r de9c2efb9d02 DTDs/Tasks-4.2.dtd
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/DTDs/Tasks-4.2.dtd Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,26 @@
+<!-- This is the DTD for eric4's tasks file version 4.1 -->
+
+<!ELEMENT Summary (#PCDATA)>
+
+<!ELEMENT Description (#PCDATA)>
+
+<!ELEMENT Created (#PCDATA)>
+
+<!ELEMENT Filename (#PCDATA)>
+
+<!ELEMENT Linenumber (#PCDATA)>
+
+<!ELEMENT Resource (Filename, Linenumber)>
+
+<!ELEMENT Task (Summary,
+ Description,
+ Created,
+ Resource?)>
+<!ATTLIST Task
+ priority CDATA #REQUIRED
+ completed CDATA #REQUIRED
+ bugfix CDATA #IMPLIED>
+
+<!ELEMENT Tasks (Task*)>
+<!ATTLIST Tasks
+ version CDATA #REQUIRED>
