[r2007-03-17 09:14:40 by beppe] added union of regexp

Original author: beppe
Date: 2007-03-17 09:14:40+00:00

web/manual/types_patterns.xml

@@ -306,10 +306,11 @@ can be:
  <li>A type or a pattern, which correspond to a single element in the 
 sequence (in particular, <code>[ _ ]</code> represents
 sequences of length 1, <em>not</em> arbitrary sequences).</li>
- <li>A juxtaposition of regular expression <code>%%R1%% %%R2%%</code>
+ <li>A juxtaposition of regular expressions <code>%%R1%% %%R2%%</code>
 which represents concatenation.
  </li>
- <li>A postfix repetition operator; the greedy operators are
+<li>A union of regular expressions <code>%%R1%%|%%R2%%</code>.</li> 
+<li>A postfix repetition operator; the greedy operators are
 <code>%%R%%?</code>,
 <code>%%R%%+</code>,
 <code>%%R%%*</code>, and the ungreedy operators are: