trivial diff: lp_solve/README.Mercury

Fergus Henderson fjh at cs.mu.oz.au
Mon Oct 13 00:09:12 AEST 1997


Minor changes to include `lp_solve' in the Mercury distribution.

lp_solve/README.Mercury:
	New file.  "lp_solve is a linear programming solver that is used
	by the Mercury compiler's termination analysis."

lp_solve/.cvsignore:
	Ignore lp.c (generated from lp.y) lex.c (generated from lex.l)
	and lp_solve.

cvs diff -N lp_solve/.cvsignore lp_solve/README.Mercury
Index: lp_solve/.cvsignore
===================================================================
RCS file: .cvsignore
diff -N .cvsignore
--- /dev/null	Mon Oct 13 00:06:36 1997
+++ .cvsignore	Thu Oct  9 07:18:37 1997
@@ -0,0 +1,3 @@
+lp.c
+lex.c
+lp_solve
Index: lp_solve/README.Mercury
===================================================================
RCS file: README.Mercury
diff -N README.Mercury
--- /dev/null	Mon Oct 13 00:06:36 1997
+++ README.Mercury	Thu Oct  9 03:41:29 1997
@@ -0,0 +1,2 @@
+lp_solve is a linear programming solver that is used by the
+Mercury compiler's termination analysis.

-- 
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.



More information about the developers mailing list