* this is a large commit

[helm.git] / helm / DEVEL / mathml_editor / dictionary.dtd

diff --git a/helm/DEVEL/mathml_editor/dictionary.dtd b/helm/DEVEL/mathml_editor/dictionary.dtd
index 4d092af2b62213eddc7199acaace7a613430ed19..3fefc71fee6dc465b861a72efb0f0662ac9c1bc0 100644 (file)
--- 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