From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 22 May 2002 10:02:08 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: V_0_3_0_debian_8~87
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=14a126b578b2c9a26d849553c65cec5e381df8fb

Modified Files:
1) query.xml xmathql.dtd: pattern changed
---

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 1910c00c0..aff80bcb5 100644
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -9,7 +9,7 @@
   <In>
    <Use>
     <Pattern>
-     <Prefix>cic</Prefix>
+     <Prefix><CONST>cic</CONST></Prefix>
      <TokenList>
       <SLASH/>
       <CONST>Coq</CONST>
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 -->