X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fmml.dtd;fp=helm%2Finterface%2Fmml.dtd;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=10ce5cb5da915782ffb9c193ee500a32fe397110;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/mml.dtd b/helm/interface/mml.dtd
deleted file mode 100644
index 10ce5cb5d..000000000
--- a/helm/interface/mml.dtd
+++ /dev/null
@@ -1,55 +0,0 @@
-<?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>