]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary.dtd
Initial revision
[helm.git] / helm / DEVEL / mathml_editor / dictionary.dtd
diff --git a/helm/DEVEL/mathml_editor/dictionary.dtd b/helm/DEVEL/mathml_editor/dictionary.dtd
new file mode 100644 (file)
index 0000000..4d092af
--- /dev/null
@@ -0,0 +1,20 @@
+
+<!ELEMENT dictionary (entry)*>
+<!ATTLIST dictionary
+  name      CDATA   #REQUIRED
+>
+
+<!ELEMENT entry EMPTY>
+<!ATTLIST entry
+  name      ID        #REQUIRED
+  pattern   CDATA     #IMPLIED
+  val       CDATA     #IMPLIED
+  class     (m|o|i|n) #IMPLIED
+  table     (0|1)     #IMPLIED
+  delimiter (0|1)     #IMPLIED 
+  limits    (0|1)     #IMPLIED
+  embellishment (0|1) #IMPLIED
+  infix     NMTOKEN   #IMPLIED
+  prefix    NMTOKEN   #IMPLIED
+  postfix   NMTOKEN   #IMPLIED
+>