[m-rev.] diff: HISTORY

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Nov 20 16:31:30 AEDT 2002


HISTORY:
	Fix grammar.

Zoltan.

Index: HISTORY
===================================================================
RCS file: /home/mercury1/repository/mercury/HISTORY,v
retrieving revision 1.18
diff -u -b -r1.18 HISTORY
--- HISTORY	13 Mar 2002 12:16:59 -0000	1.18
+++ HISTORY	18 Nov 2002 11:39:55 -0000
@@ -527,7 +527,7 @@
     eventually move the definitions of cut (`!') and `is' here too.
     
   - We've finally implemented generic input-output predicates,
-    namely io__print/3, io__write/3, and io__read/3, using the the
+    namely io__print/3, io__write/3, and io__read/3, using the
     functions and predicates described above.  These can read or write
     data of any type.  We've also added io__nl/3 to print a newline.
     Together with the change to make module qualifiers optional, these
@@ -828,7 +828,7 @@
   lp_solve subdirectory of the Mercury source distribution. Note
   that the copyright of lp_solve includes substantial restrictions.
 
-  Details of the analysis is available in "Termination Analysis for
+  Details of the analysis are available in "Termination Analysis for
   Mercury" by Chris Speirs, Zoltan Somogyi and Harald Sondergaard. In P.
   Van Hentenryck, editor, "Static Analysis: Proceedings of the Fourth
   International Symposium", Lecture Notes in Computer Science. Springer,
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list