X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdictionary.dtd;fp=helm%2FDEVEL%2Fmathml_editor%2Fdictionary.dtd;h=4d092af2b62213eddc7199acaace7a613430ed19;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/dictionary.dtd b/helm/DEVEL/mathml_editor/dictionary.dtd
new file mode 100644
index 000000000..4d092af2b
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/dictionary.dtd
@@ -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
+>