preparing for release

4 files changed, 43 insertions, 9 deletions

diff --git a/INSTALL b/INSTALL
index 53f320f4..2f0a5eff 100644
--- a/INSTALL
+++ b/INSTALL
@@ -33,7 +33,7 @@ separately install it, or download the dependency  tarball
 
 from the SourceForge download site
 
-http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.4.0-dep.tar.bz2
+     http://surfnet.dl.sf.net/project/open-axiom/open-axiom/dependencies/open-axiom-1.4.0-dep.tar.bz2
 
 If you already have a Lisp system installed, please go to step 2.
 Note however that if you want to build OpenAxiom with the GCL from
@@ -74,8 +74,8 @@ different from the one that contains the sources.  For example, you
 may create a directory sibling to open-axiom-1.4.0 and build the
 system from there:
 
-      mkdir build-oa
-      cd build-oa
+      mkdir oa-build
+      cd oa-build
       ../open-axiom-1.4.0/configure
 
 It is possible to tell configure where to put the final OpenAxiom
diff --git a/NEWS b/NEWS
index 8fd4e016..0cb80c4e 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,20 @@
-* May 2009.
+* June 15, 2011
+
+  OpenAxiom 1.4.0 has been released.
+
+  Changes from previous releases are listed at
+
+       http://www.open-axiom.org/1.4/
+
+  × They include significant improvements to the OpenAxiom algebra, the
+    library compiler, and the script interpreter.  The OpenAxiom
+    compiler now generates much better quality Lisp code.  
+ 
+
+  × The system has a new interface on Windows platforms.
+
+
+* August 05, 2009.
 
   Changes from previous release, please see
 
diff --git a/README b/README
index 3f18ffce..8e9e7117 100644
--- a/README
+++ b/README
@@ -15,10 +15,11 @@ mainstream programming languages (at the moment C and C++).
 
 
 For information about building, installing, and using OpenAxiom, please refer
-to the file INSTALL.
+to the file INSTALL.  We would like to hear from you: share your
+experience with us at open-axiom-help@lists.sf.net.
 
 Enjoy,
 
-August 05, 2009
+June 15, 2011
 Gabriel Dos Reis
-College Station, Texas, USA.
+College Station, Texas; USA.
diff --git a/src/hyper/pages/releaseNotes.ht b/src/hyper/pages/releaseNotes.ht
index 14a29885..82d35236 100644
--- a/src/hyper/pages/releaseNotes.ht
+++ b/src/hyper/pages/releaseNotes.ht
@@ -4,7 +4,7 @@
 \beginscroll
 \beginmenu
     \menudownlink{Online information}{onlineInformation}
-    \menudownlink{Januray 2009}{jan2009}
+    \menudownlink{June 2011}{jun2011}
 \endmenu
 \endscroll
 \autobuttons
@@ -21,10 +21,27 @@
 \end{page}
 
 % =====================================================================
+\begin{page}{jun2011}{OpenAxiom 1.4.0 release}
+% =====================================================================
+\beginscroll
+OpenAxiom-1.4.0 was released on June 15, 2011.  It is the major
+release of \Language{} system, in the 1.4.x series. 
+
+This release includes several improvements to the algebra, compiler,
+and interpreter, as well as several new categories, domains, and packages.
+
+% =====================================================================
+\begin{page}{aug2009}{OpenAxiom 1.3.0 release}
+% =====================================================================
+\beginscroll
+OpenAxiom-1.3.0 was released on August 05, 2009.  It is the major
+release of \Language{} system.
+
+% =====================================================================
 \begin{page}{jan2009}{OpenAxiom 1.2.1 release}
 % =====================================================================
 \beginscroll
-OpenAxiom-1.2.1 was released on Januray 29, 2009.  This is a bug
+OpenAxiom-1.2.1 was released on January 29, 2009.  This is a bug
 fix release of the \Language{} system, in the 1.2.x series.
 
 This release includes the full complement of algebra, the graphics