]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dict/dictionary.dtd
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / mathml_editor / dict / dictionary.dtd
diff --git a/helm/DEVEL/mathml_editor/dict/dictionary.dtd b/helm/DEVEL/mathml_editor/dict/dictionary.dtd
deleted file mode 100644 (file)
index 3fefc71..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-
-<!ELEMENT dictionary ((include)*,(entry*))>
-<!ATTLIST dictionary
-  name      CDATA   #REQUIRED
->
-
-<!ELEMENT include EMPTY>
-<!ATTLIST include href CDATA>
-
-<!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
->