]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Thu, 5 Sep 2002 09:41:09 +0000 (09:41 +0000)
committerIrene Schena <irene.schena@unibo.it>
Thu, 5 Sep 2002 09:41:09 +0000 (09:41 +0000)
xmathql.dtd: syntax error

helm/mathql/xmathql.dtd

index 8d74cadc5d88ba6d8372a2dbfd3397f09528885b..63c0145655b51ab407aafb1b39fe9964814adc62 100644 (file)
@@ -52,7 +52,7 @@
 
 <!-- MathQL query expression declaration -->
 
-<!ENTITY % setexpr '(Rvar|Lvar|Ref|Pattern|Select|LetIn|Relation|
+<!ENTITY % setexpr '(Rvar|Svar|Ref|Pattern|Select|LetIn|Relation|
                      Union|Intersect|Diff)'>
 
 <!-- MathQL boolean expression declaration -->