dded semantic notes on <pattern>

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index a9fbcf214f1279e9ea368a9ee92301a0cdaaadb0..a7587fdd0bb52aeac8d4ffe3e8198e14baccd8d9 100644 (file)
--- 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.