--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DTDs/Shortcuts-3.5.dtd	Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,12 @@
+<!-- This is the DTD for eric3's shortcuts file version 3.5 -->
+
+<!ELEMENT   Name        (#PCDATA)>
+<!ELEMENT   Accel       (#PCDATA)>
+
+<!ELEMENT   Shortcut    (Name, Accel)>
+<!ATTLIST   Shortcut
+    category    CDATA   #REQUIRED>
+
+<!ELEMENT   Shortcuts   (Shortcut+)>
+<!ATTLIST   Shortcuts
+    version     CDATA   #REQUIRED>