[r2005-03-27 01:19:04 by beppe] Empty log message

Original author: beppe
Date: 2005-03-27 01:19:04+00:00

web/manual/types_patterns.xml

@@ -167,7 +167,7 @@ integers, characters, and atoms. To each kind corresponds a family of types.
   quote can also be escaped, but this is not mandatory.
   The usual <code>'\n', '\t', '\r'</code> are recognized.
   Arbitrary Unicode codepoints can be written in decimal
-  <code>'\%%i%%;</code> (<code>%%i%%</code> is an decimal integer) or
+  <code>'\%%i%%;</code> (<code>%%i%%</code> is an decimal integer; note that the code is ended by a semicolon) or
   in hexadecimal <code>'\x%%i%%;</code>. Any other occurrence of 
   a backslash character is prohibited.