* configure.ac.pamphlet: Reject SBCL-1.0.29 as too buggy to build

	OpenAxiom. 

src/
	Fix SF/2798962
	* interp/c-doc.boot (checkDecorate): Don't insert formatting
	braces in Spad mode.

1 files changed, 14 insertions, 13 deletions

diff --git a/INSTALL b/INSTALL
index b6ea0ff1..7ab9d234 100644
--- a/INSTALL
+++ b/INSTALL
@@ -3,11 +3,12 @@ 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 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. 
+or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.22 or higher,
+except 1.0.29), 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.
 
 OpenAxiom needs `noweb' for extracting its source codes.  If you don't
 have running `noweb' utilities, you would need to either download the
@@ -31,11 +32,11 @@ 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
+    open-axiom-1.3.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
+http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.3.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
@@ -50,17 +51,17 @@ environment, then you should add the option --enable-gcl to the
 configure command line.  In short, add --enable-gcl if you
 specifically insist on GCL as the base Lisp runtime system.
 
-1.a. Download the dependency tarball open-axiom-1.2.x-dep.tar.bz2
+1.a. Download the dependency tarball open-axiom-1.3.x-dep.tar.bz2
 
 1.b. Decompress the dependency tarball
 
-      tar jxfv open-axiom-1.2.x-dep.tar.bz2
+      tar jxfv open-axiom-1.3.x-dep.tar.bz2
 
 
     That should decompress the dependency tarball in a directory
-named open-axiom-1.2.x.  Rename it to open-axiom-1.3.0, e.g.:
+named open-axiom-1.3.x.  Rename it to open-axiom-1.3.0, e.g.:
 
-       mv open-axiom-1.2.x open-axiom-1.3.0
+       mv open-axiom-1.3.x open-axiom-1.3.0
 
 2. Building OpenAxiom
    ------------------
@@ -132,8 +133,8 @@ users probably don't.
 
 2.e.  Have more coffee
 
-It can take from 25min to 2 hours to build, depending on the
-compute power of the build machine.
+It can take from 25min to more than 2 hours to build, depending on the
+compute power of the build machine and the base Lisp system.
 
 3. Installing OpenAxiom   
    --------------------