[m-rev.] trivial diff: more documentation fixes

[Julien Fischer]

Branches: main, 11.07

README.CSharp:
library/builtin.m:
library/exception.m:
 	Fix doubled-up words.

Julien.

Index: README.CSharp
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/README.CSharp,v
retrieving revision 1.2
diff -u -r1.2 README.CSharp
--- README.CSharp	15 Feb 2011 06:07:27 -0000	1.2
+++ README.CSharp	16 Jul 2011 08:06:17 -0000
@@ -76,7 +76,7 @@
       or assembly 'mer_std',  Version=...

  For (1), you will need to copy the library assemblies from the Mercury library
-installation into the the same directory as the process assembly.
+installation into the same directory as the process assembly.
  The files for the library assemblies are located in

       <prefix>\lib\mercury\lib\csharp
Index: library/builtin.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.150
diff -u -r1.150 builtin.m
--- library/builtin.m	6 Jul 2011 15:44:10 -0000	1.150
+++ library/builtin.m	16 Jul 2011 08:01:01 -0000
@@ -112,7 +112,7 @@
  % "Mostly" unique modes
  %

-% Unique except that that may be referenced again on backtracking.
+% Unique except that they may be referenced again on backtracking.

      % mostly unique output
      %
@@ -394,7 +394,7 @@
      %
  :- impure pred impure_true is det.

-    % `semipure_true' is like `true' except that that it is semipure.
+    % `semipure_true' is like `true' except that it is semipure.
      %
  :- semipure pred semipure_true is det.

Index: library/exception.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/exception.m,v
retrieving revision 1.149
diff -u -r1.149 exception.m
--- library/exception.m	26 Oct 2010 04:59:10 -0000	1.149
+++ library/exception.m	16 Jul 2011 08:01:58 -0000
@@ -1841,7 +1841,7 @@
  **
  ** (1) If MR_debug_enabled is set, then invoke
  **     `MR_trace(..., MR_PORT_EXCEPTION, ...)' for each stack frame,
-**     to signal to the debugger that that procedure has exited via
+**     to signal to the debugger that the procedure has exited via
  **     an exception.  This allows to user to use the `retry' command
  **     to restart a goal which exited via an exception.
  **

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------