[m-rev.] for review: define whitespace in the reference manual

[Julien Fischer]

For review by anyone.

---------------------

Define whitespace in the reference manual.

Add a section the reference manual saying exactly which characters Mercury
considers to be whitespace.

doc/reference_manual.texi:
 	As above.

Julien.

diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index f528463..d2e8a6e 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -159,6 +159,7 @@ for common programming tasks --- see the Mercury Library Reference Manual.
  @menu
  * Syntax overview::
  * Character set::
+* Whitespace::
  * Tokens::
  * Terms::
  * Builtin operators::
@@ -197,6 +198,22 @@ for clauses.
  Mercury program source files must be written using the UTF-8 encoding of
  the Unicode character set.

+ at node Whitespace
+ at section Whitespace
+
+In Mercury program source files, whitespace is defined to be the following
+characters:
+
+ at multitable {Carriage_Return} {CHARACTER_TABULATION} {Unicode_code_point}
+ at headitem Character       @tab Unicode name              @tab Unicode code point
+    @item Space           @tab @sc{space}                @tab U+0020
+    @item Horizontal-tab  @tab @sc{character tabulation} @tab U+0009
+    @item Line-feed       @tab @sc{line feed}            @tab U+000A
+    @item Vertical-tab    @tab @sc{line tabulation}      @tab U+000B
+    @item Form-feed       @tab @sc{device control 2}     @tab U+000C
+    @item Carriage-return @tab @sc{device control 3}     @tab U+000D
+ at end multitable
+
  @node Tokens
  @section Tokens