diff -r 000000000000 -r de9c2efb9d02 DTDs/UserProject-4.0.dtd
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/DTDs/UserProject-4.0.dtd Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,12 @@
+<!-- This is the DTD for eric4's user project file version 4.0 -->
+
+<!ELEMENT VcsType (#PCDATA)>
+
+<!ELEMENT VcsStatusMonitorInterval EMPTY>
+<!ATTLIST VcsStatusMonitorInterval
+ value CDATA #REQUIRED>
+
+<!ELEMENT UserProject (VcsType?,
+ VcsStatusMonitorInterval?)>
+<!ATTLIST UserProject
+ version CDATA #REQUIRED>
