]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/dictionary.dtd
Initial revision
[helm.git] / helm / DEVEL / mathml_editor / dictionary.dtd
1
2 <!ELEMENT dictionary (entry)*>
3 <!ATTLIST dictionary
4   name      CDATA   #REQUIRED
5 >
6
7 <!ELEMENT entry EMPTY>
8 <!ATTLIST entry
9   name      ID        #REQUIRED
10   pattern   CDATA     #IMPLIED
11   val       CDATA     #IMPLIED
12   class     (m|o|i|n) #IMPLIED
13   table     (0|1)     #IMPLIED
14   delimiter (0|1)     #IMPLIED 
15   limits    (0|1)     #IMPLIED
16   embellishment (0|1) #IMPLIED
17   infix     NMTOKEN   #IMPLIED
18   prefix    NMTOKEN   #IMPLIED
19   postfix   NMTOKEN   #IMPLIED
20 >