--- /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>