X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fxmathql.dtd;h=a5bd242e7b108bd98d09e8386aba45db3527edcf;hb=14a126b578b2c9a26d849553c65cec5e381df8fb;hp=e32b0299fb7dbe57b8a7289fb0de99288cc6273e;hpb=7a77e2728c1ddd4ad0f4fe75747de04d84a5ca4d;p=helm.git

diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd
index e32b0299f..a5bd242e7 100644
--- a/helm/mathql/xmathql.dtd
+++ b/helm/mathql/xmathql.dtd
@@ -152,10 +152,10 @@
 <!-- QUESTIONMARK matches one character except "/"                         --> 
 <!ELEMENT TokenList (CONST|STAR|TWOSTARS|SLASH|QUESTIONMARK)+>
 
-<!ELEMENT Prefix (#PCDATA)>
+<!ELEMENT Prefix (CONST|STAR)>
 
 <!-- XPointers have max depth = 2 (see CIC inductive definitions) -->
-<!ELEMENT FragmentID ((NUMBER|STAR), (NUMBER|STAR)?)>
+<!ELEMENT FragmentID (NUMBER|TWOSTARS|STAR)+>
 
 <!-- MathQL boolean expressions -->