X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdictionary.dtd;h=3fefc71fee6dc465b861a72efb0f0662ac9c1bc0;hb=ab1ea1988436efdac3c8148cd8310997d0122a39;hp=4d092af2b62213eddc7199acaace7a613430ed19;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/dictionary.dtd b/helm/DEVEL/mathml_editor/dictionary.dtd
index 4d092af2b..3fefc71fe 100644
--- a/helm/DEVEL/mathml_editor/dictionary.dtd
+++ b/helm/DEVEL/mathml_editor/dictionary.dtd
@@ -1,9 +1,12 @@
 
-<!ELEMENT dictionary (entry)*>
+<!ELEMENT dictionary ((include)*,(entry*))>
 <!ATTLIST dictionary
   name      CDATA   #REQUIRED
 >
 
+<!ELEMENT include EMPTY>
+<!ATTLIST include href CDATA>
+
 <!ELEMENT entry EMPTY>
 <!ATTLIST entry
   name      ID        #REQUIRED