From 14a126b578b2c9a26d849553c65cec5e381df8fb Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 22 May 2002 10:02:08 +0000
Subject: [PATCH] Modified Files: 1) query.xml xmathql.dtd: pattern changed

---
 helm/mathql/query.xml   | 2 +-
 helm/mathql/xmathql.dtd | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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 -->
 
-- 
2.39.2