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