* interp/compiler.boot (compColon): Literal flag types are valid

	types. 

1 files changed, 6 insertions, 6 deletions

diff --git a/INSTALL b/INSTALL
index 550badfc..eaf9cff4 100644
--- a/INSTALL
+++ b/INSTALL
@@ -28,7 +28,7 @@ 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
 
-    open-axiom-1.0.x-dep.tar.bz2
+    open-axiom-1.1.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
@@ -37,17 +37,17 @@ a good idea to separately build and install those tools once for all.
 
 If you already have GCL and noweb installed, please go to step 2.
 
-1.a. Download the dependency tarball open-axiom-1.0.x-dep.tar.bz2
+1.a. Download the dependency tarball open-axiom-1.1.x-dep.tar.bz2
 
 1.b. Decompress the dependency tarball
 
-      tar jxfv open-axiom-1.0.x-dep.tar.bz2
+      tar jxfv open-axiom-1.1.x-dep.tar.bz2
 
 
     That should decompress the dependency tarball in a directory
-named open-axiom-1.0.x.  Rename it to open-axiom-1.2.0, e.g.:
+named open-axiom-1.1.x.  Rename it to open-axiom-1.2.0, e.g.:
 
-       mv open-axiom-1.0.x open-axiom-1.2.0
+       mv open-axiom-1.1.x open-axiom-1.2.0
 
 2. Building OpenAxiom
    ------------------
@@ -67,7 +67,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.1.0 and build the
+may create a directory sibling to open-axiom-1.2.0 and build the
 system from there:
 
       mkdir build-oa