X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fgrammar.txt;h=1408b0d2475267cd9e15e4bb3bca027db01b8280;hb=c37c59825f318b519a33387ae69caa68872e284e;hp=a7587fdd0bb52aeac8d4ffe3e8198e14baccd8d9;hpb=11ca09baa5979991650a11878ce807a21ba978ea;p=helm.git

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).