]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/mml.dtd
10ce5cb5da915782ffb9c193ee500a32fe397110
[helm.git] / helm / interface / mml.dtd
1 <?xml encoding="ISO-8859-1"?>
2
3 <!-- CSC: mio DTD semplificatissimo per la parte presentation di MML -->
4
5 <!-- I seguenti presentation elements sono stati tralasciati ;-)
6 mspace
7 ms
8 <mchar>
9 <ms>
10 mfrac
11 msqrt
12 mroot
13 mstyle
14 merror
15 mpadded
16 mphantom
17 msub
18 msup
19 msubsup
20 munder
21 mover
22 munderover
23 mmultiscripts
24 mtable
25 mtr
26 mtd
27 maligngroup
28 malignmark
29 maction
30 -->
31
32 <!-- Dei seguenti elementi, invece, vengono tralasciati quasi tutti gli
33      attributi
34 &ApplyFunction;
35 -->
36
37 <!ENTITY % Presentation '(mi|mo|mn|mtext|mrow|mfenced)*'>
38
39 <!ELEMENT math %Presentation;>
40
41 <!ELEMENT mi (#PCDATA)>
42
43 <!ELEMENT mo (#PCDATA)>
44
45 <!ELEMENT mn (#PCDATA)>
46
47 <!ELEMENT mtext (#PCDATA)>
48
49 <!ELEMENT mrow %Presentation;>
50
51 <!ELEMENT mfenced %Presentation;>
52 <!ATTLIST mfenced
53           open       CDATA #IMPLIED
54           close      CDATA #IMPLIED
55           separators CDATA #IMPLIED>