]> matita.cs.unibo.it Git - helm.git/commitdiff
Updated semantic notes on <pattern>
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 May 2002 16:17:03 +0000 (16:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 May 2002 16:17:03 +0000 (16:17 +0000)
helm/mathql/grammar.txt

index a7587fdd0bb52aeac8d4ffe3e8198e14baccd8d9..1408b0d2475267cd9e15e4bb3bca027db01b8280 100644 (file)
@@ -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).