From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 20 May 2002 16:17:03 +0000 (+0000)
Subject: Updated semantic notes on <pattern>
X-Git-Tag: V_0_3_0_debian_8~93
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c37c59825f318b519a33387ae69caa68872e284e

Updated semantic notes on <pattern>
---

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index a7587fdd0..1408b0d24 100644
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -110,5 +110,5 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
   **               la piu' lunga sottostringa che non contiene #
   altro carattere  solo se' stesso
 
-  Il costrutto ** non puo' comparire nella parte dell'espressione che
-  fa match con un fragment identifier.
+  Il costrutto ? non puo' comparire nella parte dell'espressione che
+  fa match con un fragment identifier (tutti gli altri si).