Prepare for OpenAxiom-1.2.1.

1 files changed, 18 insertions, 11 deletions

diff --git a/INSTALL b/INSTALL
index c2b440e4..b6ea0ff1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -4,8 +4,8 @@ Requirements
 OpenAxiom currenly requires a Lisp system for its runtime support.
 OpenAxiom is known to build with the GNU Common Lisp (GCL versions 2.6.7
 or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.22 or higher),
-CLisp (version 2.44.x or higher), and ECL (version 8.9.0-CVS or higher).  
-So, if you already have any of the above mentioned Lisp system, your
+CLisp (version 2.44.x or higher), and ECL (version 0.9l or higher).  
+So, if you already have any of the above mentioned Lisp systems, your
 are good to go.  Otherwise, you would need to download a dependency
 tarball from OpenAxiom's download web site.  See instructions below. 
 
@@ -27,12 +27,16 @@ Ah, one more note:  OpenAxiom requires GNU Make.
 1. Lisp and noweb prerequisites
    ----------------------------
 
-If any of GCL or noweb is missing from the environment environment
-where you're building, then you need to either separately install
-them, or download the dependency tarball
+If any of GCL or noweb is missing from your build environment, then
+you need to either separately install them, or download the dependency
+tarball 
 
     open-axiom-1.2.x-dep.tar.bz2
 
+from the SourceForge download site
+
+http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.2.x-dep.tar.bz2
+
 Please, notice that GCL and noweb are needed only to *build*
 OpenAxiom.  If you plan to build OpenAxiom often, then it probably is
 a good idea to separately build and install those tools once for all.
@@ -76,7 +80,7 @@ or have separately installed them before proceeding.
 
 It is highly recommended that you build OpenAxiom in a directory
 different from the one that contains the sources.  For example, you
-may create a directory sibling to open-axiom-1.2.0 and build the
+may create a directory sibling to open-axiom-1.3.0 and build the
 system from there:
 
       mkdir build-oa
@@ -102,8 +106,8 @@ choice.  For example, you might want to add
 
          --with-lisp=sbcl
 
-to the configuration line if you plan to use the SBCL system; or you 
-can specify
+to the configuration line if you plan to use the SBCL system; or you
+can specify 
 
          --with-lisp=ecl
 
@@ -128,7 +132,7 @@ users probably don't.
 
 2.e.  Have more coffee
 
-It can take from 30min to 2 hours to build, depending on the
+It can take from 25min to 2 hours to build, depending on the
 compute power of the build machine.
 
 3. Installing OpenAxiom   
@@ -158,6 +162,11 @@ ready for use.
 4.  Enjoy
     -----
 
+We would like to hear from you.  Send us comments and suggestions at
+
+           open-axiom-help@lists.sf.net
+
+
 About Make
 ==========
 
@@ -173,6 +182,4 @@ reflects reality.
 So, if you're using a system where "make" is not GNU Make, then try
 "gmake" instead. 
 
-Send comments and suggestions to open-axiom-devel@lists.sf.net
-
 Gabriel Dos Reis