From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 20 May 2002 15:09:22 +0000 (+0000)
Subject: dded semantic notes on <pattern>
X-Git-Tag: V_0_3_0_debian_8~95
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=58848ea9446dd2d55da06bbd5fc8b0eea68735df

dded semantic notes on <pattern>
---

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index a9fbcf214..a7587fdd0 100644
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -99,3 +99,16 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
   teorema ci sono? 
 - L'ordinamento di default e' quello alfabetico crescente in base al nome 
   delle rvar
+- Note su <pattern>
+  Contiene un'espressione regolare per selezionare delle "reference" 
+  (cioe` delle uri eventualmente seguite da un fragment identifier)
+  L'espressione regolare contiene i seguenti costrutti:
+
+  costrutto        semanticamente fa match con
+  ?                un singolo carattere diverso da / e #
+  *                la piu' lunga sottostringa che non contiene / e #
+  **               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.