Initial revision

[helm.git] / helm / interface / mml.dtd

diff --git a/helm/interface/mml.dtd b/helm/interface/mml.dtd
new file mode 100644 (file)
index 0000000..10ce5cb
--- /dev/null
+++ b/helm/interface/mml.dtd
@@ -0,0 +1,55 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!-- CSC: mio DTD semplificatissimo per la parte presentation di MML -->
+
+<!-- I seguenti presentation elements sono stati tralasciati ;-)
+mspace
+ms
+<mchar>
+<ms>
+mfrac
+msqrt
+mroot
+mstyle
+merror
+mpadded
+mphantom
+msub
+msup
+msubsup
+munder
+mover
+munderover
+mmultiscripts
+mtable
+mtr
+mtd
+maligngroup
+malignmark
+maction
+-->
+
+<!-- Dei seguenti elementi, invece, vengono tralasciati quasi tutti gli
+     attributi
+&ApplyFunction;
+-->
+
+<!ENTITY % Presentation '(mi|mo|mn|mtext|mrow|mfenced)*'>
+
+<!ELEMENT math %Presentation;>
+
+<!ELEMENT mi (#PCDATA)>
+
+<!ELEMENT mo (#PCDATA)>
+
+<!ELEMENT mn (#PCDATA)>
+
+<!ELEMENT mtext (#PCDATA)>
+
+<!ELEMENT mrow %Presentation;>
+
+<!ELEMENT mfenced %Presentation;>
+<!ATTLIST mfenced
+          open       CDATA #IMPLIED
+          close      CDATA #IMPLIED
+          separators CDATA #IMPLIED>