From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 9 Jun 2006 14:37:20 +0000 (+0000)
Subject: [a-z] syntax documented
X-Git-Tag: 0.4.95@7852~1353
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d1161f58d1537528aa2810706819f5251a0954d9;p=helm.git

[a-z] syntax documented
---

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index f7991374c..c50e590b0 100644
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -17,6 +17,10 @@
     sequence in square brackets, that are followed by three dots. The empty
     sequence is a valid repetition.
     E.g.: [<emphasis role="bold">and</emphasis> &term;]…</para></listitem>
+    <listitem><para>Characters belonging to a set of characters are given
+     by listing the set elements in square brackets. Hyphens are used to
+     specify ranges of characters in the set.
+     E.g.: [<emphasis role="bold">a</emphasis>-<emphasis role="bold">zA</emphasis>-<emphasis role="bold">Z0</emphasis>-<emphasis role="bold">9_-</emphasis>]</para></listitem>
   </orderedlist>
   <sect1 id="terms_and_co">
   <title>Terms &amp; co.</title>