summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7a77e27)
1) query.xml xmathql.dtd: pattern changed
+ <Prefix><CONST>cic</CONST></Prefix>
<TokenList>
<SLASH/>
<CONST>Coq</CONST>
<TokenList>
<SLASH/>
<CONST>Coq</CONST>
<!-- QUESTIONMARK matches one character except "/" -->
<!ELEMENT TokenList (CONST|STAR|TWOSTARS|SLASH|QUESTIONMARK)+>
<!-- 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) -->
<!-- XPointers have max depth = 2 (see CIC inductive definitions) -->
-<!ELEMENT FragmentID ((NUMBER|STAR), (NUMBER|STAR)?)>
+<!ELEMENT FragmentID (NUMBER|TWOSTARS|STAR)+>
<!-- MathQL boolean expressions -->
<!-- MathQL boolean expressions -->