diff: clpr/README changes

[Fergus Henderson]

clpr/README:
	Add a few more comments.

Index: README
===================================================================
RCS file: /home/mercury1/repository/clpr/README,v
retrieving revision 1.4
diff -u -u -r1.4 README
--- 1.4	1997/09/07 06:01:46
+++ README	1997/09/30 14:12:04
@@ -1,12 +1,23 @@
 This is an example of an interface with a constraint solver. The directory
 ./clpr contains the CLP(R) version 1.2 source, with a few modifications
-to make it work with Mercury (these chanes are documented in the file
+to make it work with Mercury (these changes are documented in the file
 ./clpr/README.Mercury).  CLP(R) is copyright by IBM (International Business
 Machines Corporation); see ./clpr/README for more information,
 particularly the RESEARCH SOFTWARE DISCLAIMER and the USER AGREEMENT.
 
+CLP(R) solves constraints on real (floating point) numbers,
+and in particular systems of simultaneous linear equations and inequations.
+There is also support for non-linear constraints, although the solver is
+not complete for such constraints; solving of non-linear constraints is
+simply delayed until enough variables are bound to make them linear.
+
 The files cfloat.m, cfloat_float.m, float_cfloat.m, and dump.m in
 this directory provide the Mercury interface to the CLP(R) constraint solver. 
 The files in the `samples' directory are a few example programs that use
 this interface.
+
+This has been tested on the following systems:
+	sparc-sun-solaris2.5
+	dec-alpha-osf3.2
+	i586-pc-linux-gnu
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.