diff options
-rw-r--r-- | COPYING | 7 | ||||
-rw-r--r-- | INSTALL | 2 | ||||
-rw-r--r-- | MAINTAINERS | 13 | ||||
-rw-r--r-- | NEWS | 7 |
4 files changed, 14 insertions, 15 deletions
@@ -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. @@ -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 @@ -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. |