* msgs/s2-us.msgs: Consistently use OpenAxiom.

2 files changed, 48 insertions, 44 deletions

diff --git a/src/doc/ChangeLog b/src/doc/ChangeLog
index 0c4d6a32..0738fcf5 100644
--- a/src/doc/ChangeLog
+++ b/src/doc/ChangeLog
@@ -1,3 +1,7 @@
+2007-11-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* msgs/s2-us.msgs: Consistently use OpenAxiom.
+
 2007-05-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* Makefile.pamphlet (${DVI}/book.dvi): Don't use NOISE.
diff --git a/src/doc/msgs/s2-us.msgs b/src/doc/msgs/s2-us.msgs
index 86e6293e..6a5538ad 100644
--- a/src/doc/msgs/s2-us.msgs
+++ b/src/doc/msgs/s2-us.msgs
@@ -75,7 +75,7 @@ S2IB0008f
  Perhaps package-calling the operation or using coercions on the
  arguments will allow you to apply the operation.
 S2IB0009
- AXIOM will attempt to step through and interpret the code.
+ OpenAxiom will attempt to step through and interpret the code.
 S2IB0010
  Cannot resolve type of value and declared partial type.
 S2IB0011
@@ -183,7 +183,7 @@ S2IF0008
 S2IF0009
  The domain %1bp does not belong to the category %2bp .
 S2IF0010
- %1b is not a known function.  AXIOM will try to list its functions
+ %1b is not a known function.  OpenAxiom will try to list its functions
  which contain %1b in their names.  This is the same output you
  would get by issuing %ceon %b )what operations %1 %d %ceoff
 S2IF0011
@@ -319,7 +319,7 @@ S2IL0017
  the selection:
 S2IL0018
  Your request to cancel the selection has been accepted. You are now
- being returned to the top level of AXIOM.
+ being returned to the top level of OpenAxiom.
 S2IL0019
  %1b is not known to be a valid abbreviation for a constructor.
  If necessary, use the %b )abbreviation %d system command to create
@@ -374,11 +374,11 @@ S2IM0009
  be further processed. It would probably help if you declared the function.
  The functions/rules that were being analyzed were: %l %b %2 %d
 S2IM0010
- AXIOM cannot compile or interpret code for function %1b .
+ OpenAxiom cannot compile or interpret code for function %1b .
 S2IM0011
- AXIOM cannot determine the type for function %1b . Please declare it.
+ OpenAxiom cannot determine the type for function %1b . Please declare it.
 S2IM0012
- AXIOM cannot determine the type of %1b because it cannot analyze the
+ OpenAxiom cannot determine the type of %1b because it cannot analyze the
  non-recursive part, if that exists.  This may be remedied by declaring
  the function.
 S2IM0013
@@ -404,22 +404,22 @@ S2IM0027
 S2IP0001
  The left-hand side of a %b => %d form must be a symbol.
 S2IP0002
- AXIOM cannot now process %b ! %d in the way you have used it.
+ OpenAxiom cannot now process %b ! %d in the way you have used it.
  Use parentheses, if appropriate.
 S2IP0003
  Argument number %1b of %2bp must have type %3bp .
 S2IP0004
  %1 macro %2b .
 S2IP0005
- %1b is not a valid identifier to use in AXIOM.
+ %1b is not a valid identifier to use in OpenAxiom.
 S2IR0001
  Cannot resolve all the types in the list to be created.
 S2IR0002
- AXIOM cannot handle %b [ ] %d here.
+ OpenAxiom cannot handle %b [ ] %d here.
 S2IR0003
  The types that cannot be resolved are: %1b
 S2IR0004
- AXIOM is confused by what you input.  It cannot resolve the
+ OpenAxiom is confused by what you input.  It cannot resolve the
  type %1bp with the partial type %2bp .
  Please make sure you have used the correct syntax.
 S2IR0005
@@ -439,7 +439,7 @@ S2IS0005
  The index variable in an iterator must be a symbol and %1 is not
  one.
 S2IS0006
- AXIOM cannot iterate with %1b over your form now.
+ OpenAxiom cannot iterate with %1b over your form now.
  Perhaps you should try using a conversion to make sure your form is
  a list or stream, for example.
 S2IS0007
@@ -447,14 +447,14 @@ S2IS0007
 S2IS0008
  The step value in a loop must be a constant integer.
 S2IS0009
- AXIOM can only iterate over lists now and you supplied an
+ OpenAxiom can only iterate over lists now and you supplied an
  object of type %1bp .
 S2IS0010
  Cannot resolve types in collect body.
 S2IS0011
  Interpret-Code mode is not supported for stream bodies.
 S2IS0013
- AXIOM does not understand what you mean when you specify %b [
+ OpenAxiom does not understand what you mean when you specify %b [
  ] %d as having the type %1bp .
 S2IS0014
  Cannot compile the declaration for %1b because its
@@ -522,10 +522,10 @@ S2IS0039
  If there is a tuple on the left-hand side of an assignment then
  there must also be one on the right-hand side.
 S2IS0040
- AXIOM cannot now handle assignments to scripted variables
+ OpenAxiom cannot now handle assignments to scripted variables
  with more than one script.  You can use %b == %d however.
 S2IS0041
- AXIOM can now only handle undeclared %b Table %d
+ OpenAxiom can now only handle undeclared %b Table %d
  assignments with a single key. Try using the form %1b .
 S2IS0047
  The %b return %d keyword can only be used within a function.
@@ -553,7 +553,7 @@ S2IS0055
 S2IS0056
  Anonymous user functions created with %b +-> %d that are processed in
  interpret-code mode must have result target information available.
- This information is not present so AXIOM cannot proceed any further.
+ This information is not present so OpenAxiom cannot proceed any further.
  This may be remedied by declaring the function.
 S2IS0057
  All parameters to anonymous user maps must identifiers, possibly in
@@ -587,7 +587,7 @@ S2IT0006
  %1 The %b )trace %d option %b )only %d does not permit %2b as a legal
  option.
 S2IT0007
- %1 AXIOM does not understand the %b )trace %d option %2b which you used.
+ %1 OpenAxiom does not understand the %b )trace %d option %2b which you used.
 S2IT0008
  %1 The %b )trace %d option %b )break %d can only have one or both of
  %b before %d and %b after %d as arguments.
@@ -611,7 +611,7 @@ S2IT0016
 S2IT0017
  There are %1b problems with your %b )trace %d system command:
 S2IT0018
- AXIOM does not understand the use of %1b here.
+ OpenAxiom does not understand the use of %1b here.
 S2IT0019
  If you use the %b )off %d option for %b )trace %d and you also use
  the %b )local %d or %b )ops %d option, you must specify the name
@@ -632,7 +632,7 @@ S2IU0003
  The %b )load %d system command is obsolete. Please use the %b )library %d
  command instead.
 S2IV0001
- %b )set streams calculate %d is used to tell AXIOM
+ %b )set streams calculate %d is used to tell OpenAxiom
  how many elements of a stream to calculate when a
  computation uses the stream.  The value given after %b calculate %d must
  either be the word %b all %d or a positive integer.  %l %l The current
@@ -742,7 +742,7 @@ S2IZ0031
  Please enter %b y %d or %b yes %d if you really want to leave the
  interactive environment and return to the operating system:
 S2IZ0032
- You have chosen to remain in the %b AXIOM %d
+ You have chosen to remain in the %b OpenAxiom %d
  interactive environment.
 S2IZ0033
  You cannot %b )read %d the file %1b because your user-level is not is
@@ -750,7 +750,7 @@ S2IZ0033
  )set userlevel %d .
 S2IZ0034
  You cannot %b )read %d the file %1b because it is not suitable for
- reading by AXIOM.  Note that files with file extension %b .spad %d
+ reading by OpenAxiom.  Note that files with file extension %b .spad %d
  and %b .as %d can now only be compiled with the %b )compile %d system command.
 S2IZ0035
  The file %1b will not be added to the list of working source files
@@ -760,13 +760,13 @@ S2IZ0036
 S2IZ0037
  %1b requires and argument and you do not give one.
 S2IZ0038
- Compiling AXIOM source code from file %1b using old system compiler.
+ Compiling OpenAxiom source code from file %1b using old system compiler.
 S2IZ0038A
- Compiling AXIOM source code from file %1b using AXIOM-XL compiler and
+ Compiling OpenAxiom source code from file %1b using AXIOM-XL compiler and
  options %b %ceon %2 %ceoff %d
  Use the system command %b )set compiler args %d to change these options.
 S2IZ0039
- Only AXIOM source files with file extensions
+ Only OpenAxiom source files with file extensions
  %b .as, .ao, .al, %d or %b .spad %d can be compiled.
 S2IZ0040
  The %b )constructor %d option to %b )compile %d must also be
@@ -793,7 +793,7 @@ S2IZ0044M
  for the mapping.
  For example, Mapping(T, A, B) denotes the
  class of mappings from (A, B) into T. %l
- This constructor is a primitive in AXIOM.
+ This constructor is a primitive in OpenAxiom.
  For more information, use the HyperDoc Browser.
 S2IZ0044R
  Record(a:A,...,b:B) %l
@@ -803,7 +803,7 @@ S2IZ0044R
  ... %l
  b, a selector, an element of domain Symbol %l
  B, a domain of category SetCategory %u %l
- This constructor is a primitive in AXIOM.
+ This constructor is a primitive in OpenAxiom.
  The selectors a,...,b of a Record type must be distinct. %l %l
  In order for more information to be displayed about %1b ,
  you must give it specific arguments. For example: %2b %l
@@ -816,7 +816,7 @@ S2IZ0045T
  ... %l
  b, a tag, an element of domain Symbol %l
  B, a domain of category SetCategory %u %l
- This constructor is a primitive in AXIOM.
+ This constructor is a primitive in OpenAxiom.
  In this tagged Union, tags a, ..., b must be distinct. %l %l
  In order for more information to be displayed about %1b ,
  you must give it specific arguments. For example: %2b %l
@@ -920,7 +920,7 @@ S2IZ0051
 S2IZ0052
  It is mostly likely a %b )set %d command. Please inspect the file.
 S2IZ0053
- AXIOM initialization: %1b
+ OpenAxiom initialization: %1b
 S2IZ0054
  %1b is unknown to us, so no information is available.
 S2IZ0055
@@ -935,7 +935,7 @@ S2IZ0057
  Since you did not respond with %b y %d or %b yes %d the list of
  abbreviations will not be displayed.
 S2IZ0058
- You have requested that all information about all AXIOM
+ You have requested that all information about all OpenAxiom
  operations (functions) be displayed.  As there are several hundred
  operations, please confirm your request by typing %b y %d or %b yes %d
  and then pressing %b Enter %d :
@@ -978,11 +978,11 @@ S2IZ0069C
  Bad file format in file %1b : a group name should not contain blanks.
  The improper group name is %2b
 S2IZ0070
- The current AXIOM default directory is %1b
+ The current OpenAxiom default directory is %1b
 S2IZ0071
- You cannot close this AXIOM session.
+ You cannot close this OpenAxiom session.
 S2IZ0072
- This is the last AXIOM session.  Do you want to kill AXIOM?
+ This is the last OpenAxiom session.  Do you want to kill OpenAxiom?
 S2IZ0073
  %b )frame import %d must be followed by the frame name. The names
  of objects in that frame can then optionally follow the frame name.
@@ -1005,12 +1005,12 @@ S2IZ0076
  do you really want to import everything from the frame %1b ?
  If so, please enter %b y %d or %b yes %d :
 S2IZ0077
- On your request, AXIOM will not import everything from frame %1b .
+ On your request, OpenAxiom will not import everything from frame %1b .
 S2IZ0078
  Import from frame %1b is complete. Please issue %b )display all %d
  if you wish to see the contents of the current frame.
 S2IZ0079
- AXIOM cannot import %1b from frame %2b because it cannot be found.
+ OpenAxiom cannot import %1b from frame %2b because it cannot be found.
 S2IZ0080
  Unknown system command: %1b
 S2IZ0081
@@ -1018,7 +1018,7 @@ S2IZ0081
  %b )compile %d system command. If you give the %b )translate %d option
  then you cannot also give the %b )new %d option.
 S2IZ0082
- The old AXIOM system compiler can only compile files with file extension
+ The old OpenAxiom system compiler can only compile files with file extension
  ".spad".
 S2IZ0083
  The AXIOM-XL compiler can only compile files with file extensions ".as" or
@@ -1029,7 +1029,7 @@ S2IZ0085
  Warning: translation of an old-style source code ".spad" file to a new-style
  ".as" file changes the old system compiler. If you wish to use the old
  system compiler for regular compilation, you must exit and re-enter
- AXIOM.
+ OpenAxiom.
 S2IZ0086
  Cannot write to file with name %b %1  %d .
 S2IZ0087
@@ -1068,9 +1068,9 @@ S2GE0002
  start a fresh system and then restart your computation.  %l %l
  Note that you simply may not be able to perform your calculation in the
  amount of storage you have available to you.  Ask your system
- administrator if it is possible for you to run %b AXIOM %d in a
+ administrator if it is possible for you to run %b OpenAxiom %d in a
  larger virtual machine.  %l %l
- If you have questions, contact an AXIOM consultant.
+ If you have questions, contact an OpenAxiom consultant.
 S2GE0003
  The cache for %1b cannot be cleared because that function is not
  privately clammed.
@@ -1112,14 +1112,14 @@ S2GE0017
  Unexpected error in call to system function %1b
 S2GL0001
  %ceon
- %b AXIOM Computer Algebra System %d %l
+ %b OpenAxiom: The Open Scientific Computation Platform %d %l
  Version: %1 %l
- Timestamp: %2
+ Built on %2
  %ceoff
 S2GL0003A
  Issue %b )hd %d to start the Hyperdoc help system.
 S2GL0003B
- Issue %b )quit %d to leave AXIOM and return to %1 .
+ Issue %b )quit %d to leave OpenAxiom and return to %1 .
 S2GL0003C
  Issue %b )help %x1 ? %d to see information about the %b )help %d command.
 S2GL0004
@@ -1160,9 +1160,9 @@ S2GL0018C
 S2GL0018D
  Issue %b )summary %d for a summary of useful system commands.
 S2GL0019
- Type %b (resume) %d to return to AXIOM and continue with the next
+ Type %b (resume) %d to return to OpenAxiom and continue with the next
  statement. Type %b (toplevel) %d to abort all input files and continue
- with interactive AXIOM.
+ with interactive OpenAxiom.
 S2NR0001
  The function %1b with signature %2 is missing from domain %3b
 S2NR0002
@@ -1251,7 +1251,7 @@ S2CN0002
  The character %b %1 %d is greater than the radix.
  
 S2CN0003
- The character %b %1 %d is not an AXIOM character.
+ The character %b %1 %d is not an OpenAxiom character.
  
 S2CY0002
  Improper syntax.