Update NEWS, INSTALL, and MAINTAINERS

4 files changed, 14 insertions, 15 deletions

diff --git a/COPYING b/COPYING
index 2183c363..6a46af72 100644
--- a/COPYING
+++ b/COPYING
@@ -8,8 +8,9 @@ There is no known obstacles to copying, using, and modifying
 OpenAxiom freely, as long as the copyright notices are retained.
 
 
-Copyright (C) 2007, Gabriel Dos Reis
-Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
+Copyright (C) 2007-2008, Gabriel Dos Reis
+All rights reserved.
+Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
@@ -24,7 +25,7 @@ met:
       the documentation and/or other materials provided with the
       distribution.
 
-    - Neither the name of The Numerical ALgorithms Group Ltd. nor the
+    - Neither the name of The Numerical Algorithms Group Ltd. nor the
       names of its contributors may be used to endorse or promote products
       derived from this software without specific prior written permission.
 
diff --git a/INSTALL b/INSTALL
index 62834e43..550badfc 100644
--- a/INSTALL
+++ b/INSTALL
@@ -130,7 +130,7 @@ make sure that you've gained the adequate privileges.  Then, type:
 
 3.c. The system is ready for use
 
-After step 3.b., your should have a script called `axiom', in
+After step 3.b., your should have a script called `open-axiom', in
 /usr/local/bin or /banana/space/bin or /whichever/prefix/you/used/bin,
 ready for use.  
 
diff --git a/MAINTAINERS b/MAINTAINERS
index 7feaa8a9..a21b8f2e 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -10,40 +10,35 @@ To report problems in OpenAxiom, please visit:
          http://www.open-axiom.org/bugs.html
 
 
+Each sub-item in the list below is sorted in (lastname) alpabetical order.
 
 
             Release Manager
-
 Gabriel Dos Reis                     gdr at integrable-solutions.net
 
 	    Blanket Write Privilege
-
 Gabriel Dos Reis                     gdr at integrable-solutions.net
 
 
 	    Interpreter and Compiler Maintainers
-
 Gabriel Dos Reis                     gdr at integrable-solutions.net
 
 
 	    Algebra Maintainers
-
 Gabriel Dos Reis                     gdr at integrable-solutions.net
 Bill Page                            bill.page at newsynthesis.org
 
             Interface Maintainer
-
 Bill Page                            bill.page at newsynthesis.org
 
 
-            Port Maintainer (Windows)
-
+            Port Maintainers (Windows)
+Gabriel Dos Reis                     gdr at integrable-solutions.net
 Bill Page                            bill.page at newsynthesis.org
 Alfredo Portes                       alfredo.portes at gmail.com
 
 	    Write After Approval
-
-Alfredo Portes                       alfredo.portes at gmail.com
 Yixin Cao                            comp.unix.solaris at gmail.com
 Ralf Hemmecke                        ralf at hemmecke.de
+Alfredo Portes                       alfredo.portes at gmail.com
 
diff --git a/NEWS b/NEWS
index 59a561a7..736f621e 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,9 @@
-* December 19, 2007
+* February 10, 2008
+  
+  × OpenAxiom now supports batch processing, either for scripting
+    or for compiling Spad libraries.
 
-  × The interpreter now allows library `case' functions.
+  × The interpreter now allows `case' functions defined in libraries.
     Consequently, `case' no longer requires values of Union types, as
     long as the arguments are of appropriate types, e.g. ones for
     which a `case' operator has been defined.