Remove more Makefile pamphlets and other leftover.

20 files changed, 144 insertions, 306 deletions

diff --git a/src/boot/Makefile.pamphlet b/src/boot/Makefile.pamphlet
index 6555b896..c29602f8 100644
--- a/src/boot/Makefile.pamphlet
+++ b/src/boot/Makefile.pamphlet
@@ -9,7 +9,7 @@
 \maketitle
 
 \begin{abstract}
-  \Tool{Axiom} is built in layers. The first layer is contructed into
+  \Tool{OpenAxiom} is built in layers. The first layer is contructed into
   an image called {\bf bootsys}. The \Tool{bootsys} image is used
   to translate Boot code to Common Lisp code.  Since a Boot coded
   interpreter is needed to translate the code for the Boot coded
@@ -1271,11 +1271,11 @@ the second set of source files (written in Boot) is first translated
 to Lisp, and the result of that translation is subsequently compiled to
 native object files.
 
-Partly for bootstrapping reasons, and partly because Axiom (therefore
+Partly for bootstrapping reasons, and partly because OpenAxiom (therefore
 Boot) is not yet widespread, the pamphlets for the source files written 
 in Boot currently keep a cache of their translated versions.  Hopefully
 the maintainance of that cache will be unnecessary as the build machinery
-becomes more and more improved, and Axiom gets in widespread use.
+becomes more and more improved, and OpenAxiom gets in widespread use.
 <<environment>>=
 boot_cached_clisp = $(boot_sources:.boot=.clisp)
 @
@@ -1368,7 +1368,7 @@ The bootstrapping phase is carried out in three stages:
 
 \item[Stage 2] Finally, we build another (and final) \Tool{bootsys} image 
   using the \Tool{bootsys} from Stage 1.  This is the \Tool{bootsys}
-  image that is used to build the rest of the Axiom system.
+  image that is used to build the rest of the OpenAxiom system.
 \end{itemize}
 
 Stage 1 and Stage 2 are structurally identical.  Ideally, we should be
@@ -1384,7 +1384,7 @@ will contain objects already present in the compiler and being
 used.  Consequently, we must use a fresh image to guarantee
 clean and reproductible build and semantics.  Notice that only
 the compilation of \Tool{bootsys} itself needs that care.
-The rest of the Axiom system should use \Tool{bootsys} to 
+The rest of the OpenAxiom system should use \Tool{bootsys} to 
 compile Boot codes, instead of manually going through the
 Lisp translation phase.
 
diff --git a/src/etc/asq.c.pamphlet b/src/etc/asq.c.pamphlet
index 54bedb91..fdf55daa 100644
--- a/src/etc/asq.c.pamphlet
+++ b/src/etc/asq.c.pamphlet
@@ -10,7 +10,7 @@
 \tableofcontents
 \eject
 The asq (ask) function is a command line utility for extracting information
-from the Axiom databases. It understands how the data is stored and can
+from the OpenAxiom databases. It understands how the data is stored and can
 retrieve all data associated with Categories, Domains, and Packages.
 
 It used to look for the databases in [[$AXIOM/../../share/algebra]]
@@ -19,7 +19,7 @@ but has been changed to search [[$AXIOM/algebra]] as originally designed.
 
 \section{Database structure}
 In order to understand this program you need to understand some details
-of the structure of the databases it reads. Axiom has 5 databases,
+of the structure of the databases it reads. OpenAxiom has 5 databases,
 the interp.daase, operation.daase, category.daase, compress.daase, and
 browse.daase. The compress.daase is special and does not follow the
 normal database format.
diff --git a/src/graph/view2D/main2d.c.pamphlet b/src/graph/view2D/main2d.c.pamphlet
index 71a84071..9dae841b 100644
--- a/src/graph/view2D/main2d.c.pamphlet
+++ b/src/graph/view2D/main2d.c.pamphlet
@@ -485,7 +485,7 @@ mergeDatabases(void)
   XrmDatabase homeDB,serverDB,applicationDB;
   char filenamebuf[1024];
   char *filename = &filenamebuf[0];
-  char *classname = "Axiom";
+  char *classname = "OpenAxiom";
   char name[255];
   
   (void) XrmInitialize();
diff --git a/src/graph/view3D/main3d.c.pamphlet b/src/graph/view3D/main3d.c.pamphlet
index d8e2ba9b..22137d65 100644
--- a/src/graph/view3D/main3d.c.pamphlet
+++ b/src/graph/view3D/main3d.c.pamphlet
@@ -628,7 +628,7 @@ mergeDatabases(void)
   XrmDatabase homeDB,serverDB,applicationDB;
   char filenamebuf[1024];
   char *filename = &filenamebuf[0];
-  char *classname = "Axiom";
+  char *classname = "OpenAxiom";
   char name[255];
 
   (void) XrmInitialize();
diff --git a/src/hyper/initx.pamphlet b/src/hyper/initx.pamphlet
index fd369705..1efef762 100644
--- a/src/hyper/initx.pamphlet
+++ b/src/hyper/initx.pamphlet
@@ -267,8 +267,8 @@ open_form_window(void)
     char userdefaults[50], progdefaults[50];
 
     strcpy(progdefaults, "=950x450+0+0");
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.FormGeometry",
-        "Axiom.hyperdoc.FormGeometry", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.FormGeometry",
+        "OpenAxiom.hyperdoc.FormGeometry", str_type, &value) == True)
     {
         strncpy(userdefaults, value.addr, (int) value.size);
         userSpecified = 1;
@@ -409,7 +409,7 @@ get_border_properties(void)
         bw = atoi(bwidth);
         if (bw < 1) {
             fprintf(stderr,
-                    "%s: The line width value must be greater than zero\n", "Axiom.hyperdoc");
+                    "%s: The line width value must be greater than zero\n", "OpenAxiom.hyperdoc");
             bw = 1;
         }
     }
@@ -444,8 +444,8 @@ open_window(Window w)
     char userdefaults[50], progdefaults[50];
 
     strcpy(progdefaults, "=700x450+0+0");
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.Geometry",
-        "Axiom.hyperdoc.Geometry", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.Geometry",
+        "OpenAxiom.hyperdoc.Geometry", str_type, &value) == True)
     {
         strncpy(userdefaults, value.addr, (int) value.size);
     }
@@ -538,7 +538,7 @@ set_size_hints(Window w)
     else {
         /* this is the first window, so lets try to find a nice spot for it */
 
-        if (XrmGetResource(rDB, "Axiom.hyperdoc.Geometry", "Axiom.hyperdoc.Geometry",
+        if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.Geometry", "OpenAxiom.hyperdoc.Geometry",
             str_type, &value) == True)
         {
             strncpy(userdefaults, value.addr, (int) value.size);
@@ -649,15 +649,15 @@ load_font(XFontStruct **font_info, char *fontname)
  * This routine initializes all the colors and fonts that the user wishes to
  * use. It checks for all the following properties in $HOME/.Xdefaults.
  *
- *  Axiom.hyperdoc.ActiveColor:
- *  Axiom.hyperdoc.Background:
- *  Axiom.hyperdoc.EmphasizeColor:
- *  Axiom.hyperdoc.EmphasizeFont:
- *  Axiom.hyperdoc.Foreground:
- *  Axiom.hyperdoc.InputBackground:
- *  Axiom.hyperdoc.InputForeground:
- *  Axiom.hyperdoc.SpadColor:
- *  Axiom.hyperdoc.SpadFont:
+ *  OpenAxiom.hyperdoc.ActiveColor:
+ *  OpenAxiom.hyperdoc.Background:
+ *  OpenAxiom.hyperdoc.EmphasizeColor:
+ *  OpenAxiom.hyperdoc.EmphasizeFont:
+ *  OpenAxiom.hyperdoc.Foreground:
+ *  OpenAxiom.hyperdoc.InputBackground:
+ *  OpenAxiom.hyperdoc.InputForeground:
+ *  OpenAxiom.hyperdoc.SpadColor:
+ *  OpenAxiom.hyperdoc.SpadFont:
  */
 
 static void
@@ -686,8 +686,8 @@ ingItColors_and_fonts(void)
     mergeDatabases();
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.RmFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.RmFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True)
         (void) strncpy(prop, value.addr, (int) value.size);
     else
         (void) strcpy(prop, RmFontDefault);
@@ -699,8 +699,8 @@ ingItColors_and_fonts(void)
 
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource 2\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.TtFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.TtFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True)
         (void) strncpy(prop, value.addr, (int) value.size);
     else
         (void) strcpy(prop, TtFontDefault);
@@ -711,8 +711,8 @@ ingItColors_and_fonts(void)
     gTtFontIs850=is_it_850(gTtFont);
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource 5\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.ActiveFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.ActiveFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True)
         (void) strncpy(prop, value.addr, (int) value.size);
     else
         (void) strcpy(prop, ActiveFontDefault);
@@ -723,12 +723,12 @@ ingItColors_and_fonts(void)
     /* maintain backwards compatibility */
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource 6\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.AxiomFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True)
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.AxiomFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True)
         (void) strncpy(prop, value.addr, (int) value.size);
     else {
-        if (XrmGetResource(rDB, "Axiom.hyperdoc.SpadFont", 
-                           "Axiom.hyperdoc.Font", str_type, &value) == True) 
+        if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.SpadFont", 
+                           "OpenAxiom.hyperdoc.Font", str_type, &value) == True) 
         {
             (void) strncpy(prop, value.addr, (int) value.size);
         }
@@ -741,8 +741,8 @@ ingItColors_and_fonts(void)
     load_font(&gAxiomFont, prop);
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource 7\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.EmphasizeFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True) 
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.EmphasizeFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True) 
     {
         (void) strncpy(prop, value.addr, (int) value.size);
     }
@@ -753,8 +753,8 @@ ingItColors_and_fonts(void)
     load_font(&gEmFont, prop);
 
 /*    fprintf(stderr,"initx:ingItColors_and_fonts:XrmGetResource 8\n");*/
-    if (XrmGetResource(rDB, "Axiom.hyperdoc.BoldFont", 
-                            "Axiom.hyperdoc.Font", str_type, &value) == True) 
+    if (XrmGetResource(rDB, "OpenAxiom.hyperdoc.BoldFont", 
+                            "OpenAxiom.hyperdoc.Font", str_type, &value) == True) 
     {
         (void) strncpy(prop, value.addr, (int) value.size);
     }
@@ -821,7 +821,7 @@ ingItColors_and_fonts(void)
         /* maintain backwards compatibility */
 
 /*        fprintf(stderr,"initx:ingItColors_and_fonts:get_color 6\n");*/
-        gAxiomColor = get_color("AxiomColor", "Foreground", 0, &cmap);
+        gAxiomColor = get_color("OpenAxiomColor", "Foreground", 0, &cmap);
 /*        fprintf(stderr,"initx:ingItColors_and_fonts:get_color 7\n");*/
         if (gAxiomColor == 0)
             gAxiomColor = get_color("SpadColor", "Foreground",
@@ -897,9 +897,9 @@ get_color(char *name, char *class, int def, Colormap *map)
     printf("get_color: %s %s %d -> ", name, class, def);
 #endif
 
-    strcpy(fullname, "Axiom.hyperdoc.");
+    strcpy(fullname, "OpenAxiom.hyperdoc.");
     strcat(fullname, name);
-    strcpy(fullclass,"Axiom.hyperdoc.");
+    strcpy(fullclass,"OpenAxiom.hyperdoc.");
     strcat(fullclass,class);
 
     if (XrmGetResource(rDB, fullname, fullclass, str_type, &value) == True) {
@@ -936,7 +936,7 @@ mergeDatabases(void)
     XrmDatabase homeDB, serverDB, applicationDB;
     char filenamebuf[1024];
     char *filename = &filenamebuf[0];
-    char *classname = "Axiom";
+    char *classname = "OpenAxiom";
     char name[255];
 
 /*    fprintf(stderr,"initx:mergeDatabases:entered\n");*/
diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet
index 2015a74c..cf85241c 100644
--- a/src/input/Makefile.pamphlet
+++ b/src/input/Makefile.pamphlet
@@ -20,7 +20,7 @@
 Each of the files in this subdirectory is intended to achieve a 
 three goals. First, the file shows examples of how to use Axiom
 algebra. Second, the file is used as a regression test to show
-that Axiom properly executes the algebra. Third, the file contains
+that OpenAxiom properly executes the algebra. Third, the file contains
 documentation on known bugs or missing algebra.
 
 It is important to collect as many examples as we can of working
diff --git a/src/input/asec.input.pamphlet b/src/input/asec.input.pamphlet
index 82907431..76ddb3fc 100644
--- a/src/input/asec.input.pamphlet
+++ b/src/input/asec.input.pamphlet
@@ -100,7 +100,7 @@ u(1)& =\frac{-5\sqrt{2}}{12}.
 \end{array}
 $$
 
-As implemented within Axiom the {\tt asec} function is
+As implemented within OpenAxiom the {\tt asec} function is
 $$sec^{-1}(z) == cos^{-1}\left(\frac{1}{z}\right)$$
 <<*>>=
 )spool asec.output
diff --git a/src/input/bug10069.input.pamphlet b/src/input/bug10069.input.pamphlet
index 699bc910..920cd951 100644
--- a/src/input/bug10069.input.pamphlet
+++ b/src/input/bug10069.input.pamphlet
@@ -14,7 +14,7 @@ These functions were missing a case statement that handled the 'failed'
 branch. This has been fixed.
 
 Since these functions are designed to fail during testing we
-have to set the breakmode to resume so Axiom will continue reading
+have to set the breakmode to resume so OpenAxiom will continue reading
 the input file.
 <<*>>=
 )cl all
diff --git a/src/input/defs.input.pamphlet b/src/input/defs.input.pamphlet
index 85b35ef3..e3b6ea71 100644
--- a/src/input/defs.input.pamphlet
+++ b/src/input/defs.input.pamphlet
@@ -10,7 +10,7 @@
 \tableofcontents
 \eject
 The [[otherwise]] clause is not recognized either in the NAG version
-or the Axiom version.
+or the OpenAxiom version.
 <<fib>>=
 )clear all
 
@@ -23,7 +23,7 @@ fib(100)
 
 @
 The [[when]] clause is not recognized either in the NAG version or
-the Axiom version.
+the OpenAxiom version.
 <<chebyshev>>=
 chebyshev1: Integer -> UnivariatePolynomial(x,Fraction Integer)
 chebyshev1(0) == 1
diff --git a/src/input/fixed.input.pamphlet b/src/input/fixed.input.pamphlet
index 67279b89..e4ff69da 100644
--- a/src/input/fixed.input.pamphlet
+++ b/src/input/fixed.input.pamphlet
@@ -756,7 +756,7 @@ complexNumeric(log(sqrt(-3)))
 -- answer (barry):
 --
 --Your problem in TEST about specifying target types which are Mapping's
---was a bug in the compiler and has been fixed for Axiom release 2.0.
+--was a bug in the compiler and has been fixed for OpenAxiom release 2.0.
 --
 
 -------------------------------------------------------------------
@@ -1191,7 +1191,7 @@ ll 3
 --   4893,4653,4475,4005,3893,3669,3459,3143,2967,
 --   2807,2529,1827,1695,975,875,629,569
 
---It was gotten from Axiom by issuing the commands
+--It was gotten from OpenAxiom by issuing the commands
 qrimes : Stream Integer := generate(nextPrime,2**512-5000)
 rrimes := [ 2**512-p for p in qrimes while p < 2**512 ]
 srimes := complete rrimes
@@ -1285,7 +1285,7 @@ L
 --   (5)  ["There is","a real bug","here"]
 --
 --Is there a way to fix this bug quickly ?? (I am ready to modify the source
---Axiom aggcat.spad).
+--OpenAxiom aggcat.spad).
 --The problem with ! functions lies in the documentation not in the code. We
 --need to explain more clearly that ! functions are ALLOWED to update their
 --arguments, not REQUIRED to do so. 
@@ -1327,7 +1327,7 @@ minimalPolynomial(y)$E
 --
 tr := rule cos(x)**(n | integer? n and even? n)==(1-sin(x)**2)**(n/2)
 --
---Axiom returns
+--OpenAxiom returns
 --
 --   Cannot find a definition or library operation named even? with argument
 --   types
@@ -1362,7 +1362,7 @@ tr := rule cos(x)**(n | integer? n and even? n)==(1-sin(x)**2)**(n/2)
 -- copper@yktvmv.vnet.ibm.com/02/22/94 don coppersmith
 -------------------------------------------------------------------
 )clear all
---Questions that came up using Axiom on Aixproj:
+--Questions that came up using OpenAxiom on Aixproj:
 --
 --How does one find a Pade approximation?  I tried  pade(2,2,y)
 --pade(y,2,2)  Pade(2,2,y)  PadeApproximation(2,2,y)
diff --git a/src/input/mapleok.input.pamphlet b/src/input/mapleok.input.pamphlet
index d6db7823..0a80afb3 100644
--- a/src/input/mapleok.input.pamphlet
+++ b/src/input/mapleok.input.pamphlet
@@ -7,9 +7,9 @@
 \begin{abstract}
 A set of test results that fail for Maple was published as a database
 on the web by Vladimir Bondarenko. We looked at these equations in
-detail, redesigned and rewrote them for Axiom where the equations
-could be applied, and ran them thru the Axiom system. These are the
-set of results that give answers in Axiom along with a summary of
+detail, redesigned and rewrote them for OpenAxiom where the equations
+could be applied, and ran them thru the OpenAxiom system. These are the
+set of results that give answers in OpenAxiom along with a summary of
 the tests.
 \end{abstract}
 \eject
@@ -24,7 +24,7 @@ We should have available a range of problems with associated
 math theory and verified results that every computer algebra
 system can use for testing purposes. To this end I've been 
 collecting test suites from various computer algebra systems and
-running them thru Axiom. The lastest collection is the Maple bug
+running them thru OpenAxiom. The lastest collection is the Maple bug
 list posted by Vladimir. 
 
 Of course there is no common syntax and so one of the problems
@@ -32,12 +32,12 @@ is that every integral has to be hand-written to match the likely
 semantics of the original. This is a time consuming effort.
 pFurthermore there is no general mechanism for collecting results
 (although I have been looking at automating regression testing
-in Axiom) so result collection and summary are also hand operations.
+in OpenAxiom) so result collection and summary are also hand operations.
 Nevertheless, the process has completed the first phase of testing
 and I've attached some summary statistics. Detailed results will
-be included with the next release of Axiom.
+be included with the next release of OpenAxiom.
 
-For the next phase I've built a special purpose version of Axiom
+For the next phase I've built a special purpose version of OpenAxiom
 with instrumentation in all of the integration routines. I plan to
 classify each integral and associate it with the code as part of
 the literate documentation. This will give us a basis for finding
@@ -54,7 +54,7 @@ There were 4865 integrals tested. Of these
 \item (1206 24.78\%) Undefined Special Functions or untranslated functions
 \item (84    1.72\%) Mismatched signatures of existing functions
 \item (158   3.25\%) Badly Behaved Integrals
-\item (7     0.14\%) Axiom Internal Errors
+\item (7     0.14\%) OpenAxiom Internal Errors
 \item (279   5.73\%) Risch Algorithm Boundary Cases
 \item (2331 47.91\%) Failed results
 \item (490  10.07\%) Successful Results
@@ -68,7 +68,7 @@ rather more difficult to compute.
 
 We further break down the results. The number in parentheses is
 the number of integrals of this class. One observation is that a
-large number of these integrals involve the signum function. Axiom
+large number of these integrals involve the signum function. OpenAxiom
 does not have an integrable form of this function. Frankly, I'm not
 sure how to integrate functions involving signum. It is hardly a
 surprise that Maple gets these wrong.
@@ -76,7 +76,7 @@ surprise that Maple gets these wrong.
 On some of the functions I've given example integrals that exhibit
 the behavior of their category.
 
-Axiom has a robust implementation of the Risch algorithm done by
+OpenAxiom has a robust implementation of the Risch algorithm done by
 Barry Trager and Manuel Bronstein. Still, there are some corner
 cases that are not implemented. We collected these under a
 separate category so they will be useful for people who want to
@@ -104,9 +104,9 @@ These are apparently bogus function names.
 
 \subsection{Undefined Special Functions or Untranslated Functions}
 
-Maple has these functios in different forms than Axiom. Some of the special
-functions have equivalent Axiom representations but Maple is much stronger
-in special functions. Axiom has single-argument forms of some of these
+Maple has these functios in different forms than OpenAxiom. Some of the special
+functions have equivalent OpenAxiom representations but Maple is much stronger
+in special functions. OpenAxiom has single-argument forms of some of these
 functions but the translations were not clear.
 
 \begin{itemize}
@@ -162,7 +162,7 @@ functions but the translations were not clear.
 
 \subsection{Mismatched Signatures Of Existing Functions}
 
-Axiom's integration routines return a Union of several types. 
+OpenAxiom's integration routines return a Union of several types. 
 In order to use the result in various other operations one branch
 of the Union needs to be chosen. I have not done that here so these
 are listed as though they were special functions with a missing
@@ -189,7 +189,7 @@ integrate(legendreP(0, z)/(z^2+3*z), z= 0..3,"noPole")
 \end{verbatim}
 
 
-\subsection{Axiom Internal Errors}
+\subsection{OpenAxiom Internal Errors}
 
 \begin{itemize}
 \item (1) internal error
@@ -330,7 +330,7 @@ integrate(sin(1/z)+(1-1/z^4)^(1/2), z= 0..%pi,"noPole")
 
 \subsection{(305) Indeterminate Results}
 
-There were some integrals that Axiom failed to complete given
+There were some integrals that OpenAxiom failed to complete given
 the bounds on the allowed CPU time (about 10 minutes of execution).
 Further effort will be applied to try to resolve these cases.
 
diff --git a/src/input/pmint.input.pamphlet b/src/input/pmint.input.pamphlet
index 35d8542b..eeaa87d3 100644
--- a/src/input/pmint.input.pamphlet
+++ b/src/input/pmint.input.pamphlet
@@ -288,7 +288,7 @@ integrate(f,x)
 -- Airy Functions
 
 -- f:=(x-airyAi(x)*airyAi(1,x))/(x^2-airyAi(x)^2)
--- Axiom does not have a 2 argument form of the airyAi function
+-- OpenAxiom does not have a 2 argument form of the airyAi function
  
 -- integrate(f,x)
 -- should be:
@@ -305,7 +305,7 @@ f:=x^2*airyAi(x)
 g:=integrate(f,x)
 -- should be:
 --  -airyAi(x) + airyAi(1,x) x
--- but Axiom cannot integrate this and gives:
+-- but OpenAxiom cannot integrate this and gives:
 --
 --           x
 --         ++    2
@@ -329,7 +329,7 @@ f:=besselJ(y+1,x)/besselJ(y,x)
 g:=integrate(f,x)
 -- should be:
 --  y log(x) - log(besselJ(y,x))
--- but Axiom cannot integrate it and gives:
+-- but OpenAxiom cannot integrate it and gives:
 --
 --           x
 --         ++  besselJ(y + 1,%H)
@@ -338,7 +338,7 @@ g:=integrate(f,x)
 --                                          Type: Union(Expression Integer,...)
 
 -- f:=normal(y*besselJ(y,x)/x = besselJ(y+1,x))
--- Axiom does not have Maple's normal function
+-- OpenAxiom does not have Maple's normal function
 -- should be:
 --   besselJ(y+1,x) x - y besselJ(y,x)
 -- - ---------------------------------
@@ -352,7 +352,7 @@ g:=integrate(f,x)
 -- Whittaker functions
 
 -- f:=WhittakerW(u+1,n,x)/(WhittakerW(u,n,x)*x)
--- Axiom does not implement WhittakerW
+-- OpenAxiom does not implement WhittakerW
 -- should be:
 --  Whittaker(u+1,n,x)
 --  ------------------
@@ -371,7 +371,7 @@ g:=integrate(f,x)
 -- The Lambert W function
 
 -- f:=LambertW(x)
--- Axiom does not implement LambertW
+-- OpenAxiom does not implement LambertW
 
 -- g:=integrate(f,x)
 -- should be:
diff --git a/src/input/robidoux.input.pamphlet b/src/input/robidoux.input.pamphlet
index 70c286f3..e5e4ab8c 100644
--- a/src/input/robidoux.input.pamphlet
+++ b/src/input/robidoux.input.pamphlet
@@ -17,7 +17,7 @@
 <<license>>
 )clear all
 -- from the paper:
--- Does Axiom Solve Systems of O.D.E.'s Like Mathematica?
+-- Does OpenAxiom Solve Systems of O.D.E.'s Like Mathematica?
 -- Nicolas Robidoux University of New Mexico 24 June 1993
 X1:=operator 'X1
 deq1:=D(X1 t,t)=(1+ cos t /(2+sin t)) * X1 t
diff --git a/src/input/synonym.input.pamphlet b/src/input/synonym.input.pamphlet
index e8b01cc8..d2fb0ddd 100644
--- a/src/input/synonym.input.pamphlet
+++ b/src/input/synonym.input.pamphlet
@@ -17,7 +17,7 @@
 <<license>>
 
 -- This file contains the standard system defined system command
--- synonyms for the Axiom system. It is normally read into
+-- synonyms for the OpenAxiom system. It is normally read into
 -- the system by adding the line
 --         )read synonym input )ifthere )quiet
 -- to the start-up profile axiom.input.
diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot
index e79f0529..6b5a52fd 100644
--- a/src/interp/i-syscmd.boot
+++ b/src/interp/i-syscmd.boot
@@ -903,7 +903,7 @@ displayMacros names ==
      names
   macros := REMDUP macros
 
-  null macros => sayBrightly '"   There are no Axiom macros."
+  null macros => sayBrightly '"   There are no OpenAxiom macros."
 
   -- first do user defined ones
 
@@ -915,7 +915,7 @@ displayMacros names ==
             first := NIL
         displayParserMacro macro
     macro in imacs => 'iterate
-    sayBrightly (["   ",'%b, macro, '%d, " is not a known Axiom macro."])
+    sayBrightly (["   ",'%b, macro, '%d, " is not a known OpenAxiom macro."])
 
   -- now system ones
 
diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot
index 63f9683d..3b72b074 100644
--- a/src/interp/msgdb.boot
+++ b/src/interp/msgdb.boot
@@ -34,7 +34,7 @@
 
 --% Description of Messages
 
---% Axiom messages are read from a flat file database and returned
+--% OpenAxiom messages are read from a flat file database and returned
 --% as one long string.  They are preceded in the database by a key and
 --% this is how they are referenced from code.  For example, one key is
 --% S2IL0001 which means:
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in
index 05045445..89b68ea3 100644
--- a/src/lib/Makefile.in
+++ b/src/lib/Makefile.in
@@ -1,3 +1,36 @@
+# Copyright (C) 2007, Gabriel Dos Reis.
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are
+# met:
+#
+#     - Redistributions of source code must retain the above copyright
+#       notice, this list of conditions and the following disclaimer.
+#
+#     - Redistributions in binary form must reproduce the above copyright
+#       notice, this list of conditions and the following disclaimer in
+#       the documentation and/or other materials provided with the
+#       distribution.
+#
+#     - 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.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
+# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
+# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
+# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+
+
 core_SOURCES = bsdsignal.c cfuns-c.c sockio-c.c
 terminal_io_SOURCES = cursor.c edin.c fnct_key.c openpty.c prt.c wct.c
 graphics_SOURCES = \
diff --git a/src/lib/Makefile.pamphlet b/src/lib/Makefile.pamphlet
deleted file mode 100644
index 3dc252e9..00000000
--- a/src/lib/Makefile.pamphlet
+++ /dev/null
@@ -1,174 +0,0 @@
-%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\$SPAD/src/lib Makefile}
-\author{Timothy Daly \and Gabriel Dos~Reis}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-  This Makefile builds the \Tool{Axiom} C runtime system.  This runtime
-  support consists of three main compoments: core, terminal I/O, and
-  graphics.
-\end{abstract}
-\eject
-
-\tableofcontents
-\eject
-
-\section{Components}
-
-\subsection{Core runtime}
-
-The core C runtime system is required on all hosts. It is composed of
-\begin{itemize}
-\item \verb!iint bsdSignal()!
-\item \verb!int addtopath(const char*)!
-\item \verb!int directoryp(const char*)!
-\item \verb!int make_path_from_file(const char*, const char*)!
-\item \verb!int writeablep(const char*)!
-\item \verb!int readablep(const char*)!
-\item \verb!int findString(const char*, const char*)!
-\item \verb!int copyEnvValue(const char*, char*)!
-\end{itemize}
-
-Those functions are implemented in \File{cfuns-c.c} and 
-\File{sockio-c.c}.  For the most part,
-they depend on [[<unistd.h>]], [[<sys/stat.h>]], and
-[[<sys/socket.h>]]
-
-<<environment>>=
-core_SOURCES = bsdsignal.c cfuns-c.c sockio-c.c
-@
-
-
-\subsection{Terminal I/O}
-
-This component provides all the routines necessary to build
-the \Tool{Superman} component.
-
-<<environment>>=
-terminal_io_SOURCES = cursor.c edin.c fnct_key.c openpty.c prt.c wct.c
-@
-
-
-\subsection{Graphics}
-
-HyperDoc and any other graphics capability.
-
-<<environment>>=
-graphics_SOURCES = \
-		halloc.c \
-		hash.c \
-		pixmap.c \
-		spadcolors.c \
-		util.c \
-		XDither.c \
-		XShade.c \
-		XSpadFill.c
-@
-
-??? document each of those files.???
-
-
-\section{environment}
-
-The \Tool{Autoconf}-subst'd variable [[axiom_c_runtime]] is computed
-at configure time, based on the characteristics of the host environment.
-It is a list of the main components.  It also contain [[core]]
-
-<<environment>>=
-
-libspad_la_SOURCES = $(foreach comp, \
-			 $(addsuffix _SOURCES, @axiom_c_runtime@), \
-			 $($(comp)))
-
-other_SOURCES = cfuns-c.c
-
-unused_SOURCES = emupty.c
-
-libspad_la_objects = $(libspad_la_SOURCES:.c=.lo)
-
-other_objects = $(other_SOURCES:.c=.$(OBJEXT))
-
-pamphlets = Makefile.pamphlet
-@
-
-\section{Files}
-
-\subsection{object from C}
-<<object from C>>=
-.PRECIOUS: %.$(OBJEXT) %.lo
-
-%.lo: %.c $(axiom_c_macros_h)
-	$(COMPILE) -o $@ $(CCF) $(axiom_includes) $(AXIOM_X11_CFLAGS) $<
-@
-
-
-
-\subsection{cfuns-c.c \cite{2}}
-The cfuns-c file contains socket primitives used by Axiom.
-They must be linked into and visible from the inferior lisp.
-In GCL this link happens thru setting a shell variable called
-{\bf EXTRAS} in the {\bf h/386-linux.defs} file. This file
-gets included as part of the final system build of GCL.
-
-\subsection{hash.c \cite{6}}
-This a a string-based hash table that is used both in the graph
-and hyper functions. It is included here because we need it built
-earlier so the graph and hyper routines can refer to it.
-
-\subsection{sockio-c.c \cite{10}}
-The sockio-c file contains socket primitives used by Axiom.
-They must be linked into and visible from the inferior lisp.
-In GCL this link happens thru setting a shell variable called
-{\bf EXTRAS} in the {\bf h/386-linux.defs} file. This file
-gets included as part of the final system build of GCL.
-
-\section{The cleanup stanza}
-<<cleanup>>=
-# This is a support library, so it does not change often and
-# we don't need to remove the produced objects in mostlyclean.
-# The remoal is done by clean.
-mostlyclean-local:
-	@rm -f *.lo *.$(OBJEXT)
-
-clean-local: mostlyclean-local
-	@$(LIBTOOL) --mode=clean $(axiom_target_libdir)/libspad.la
-	@rm -f $(other_objects)
-	@rm -f $(libspad_la_SOURCES) $(other_SOURCES)
-	@rm -fr .libs _libs
-	@rm -f stamp
-
-distclean-local: clean-local
-@
-
-<<*>>=
-<<environment>>
-
-subdir = src/lib/
-
-.PHONY: all all-lib
-.SUFFIXES:
-.SUFFIXES: .o .lo .obj .c .h
-
-all: all-ax
-
-all-ax all-lib: stamp
-stamp: $(axiom_target_libdir)/libspad.la
-	rm -f stamp
-	$(STAMP) stamp
-
-$(axiom_target_libdir)/libspad.la: $(libspad_la_objects)
-	$(mkinstalldirs) $(axiom_target_libdir)
-	$(LIBTOOL) --mode=link $(CC) -o $@ $(libspad_la_objects) \
-		-rpath $(libdir)/axiom/target/$(target)/lib
-
-<<object from C>>
-
-<<cleanup>>
-@
-
-\end{document}
diff --git a/src/share/Makefile.in b/src/share/Makefile.in
index b6b369b8..b250a679 100644
--- a/src/share/Makefile.in
+++ b/src/share/Makefile.in
@@ -1,3 +1,35 @@
+# Copyright (C) 2007, Gabriel Dos Reis.
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are
+# met:
+#
+#     - Redistributions of source code must retain the above copyright
+#       notice, this list of conditions and the following disclaimer.
+#
+#     - Redistributions in binary form must reproduce the above copyright
+#       notice, this list of conditions and the following disclaimer in
+#       the documentation and/or other materials provided with the
+#       distribution.
+#
+#     - 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.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
+# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
+# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
+# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+
 subdir = src/share/
 
 FILES=$(axiom_target_libdir)/command.list
diff --git a/src/share/Makefile.pamphlet b/src/share/Makefile.pamphlet
deleted file mode 100644
index 13d54119..00000000
--- a/src/share/Makefile.pamphlet
+++ /dev/null
@@ -1,53 +0,0 @@
-%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs.
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/share Makefile}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-Files in the share directory are common to all of the system builds.
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{command.list}
-The [[command.list]] file contains command completion strings used by
-the [[clef]] command line editor function. In the NAG version this 
-lived in the share subdirectory but the open source version moves it
-back to the [[lib]] directory where it originally lived.
-<<command.list>>=
-$(axiom_target_libdir)/command.list: $(srcdir)/algebra/command.list
-	$(INSTALL_DATA) $< $@
-@
-
-<<*>>=
-subdir = src/share/
-
-FILES=$(axiom_target_libdir)/command.list
-
-.SUFFIXES:
-.PHONY: all all-share
-all: all-ax
-
-all-ax all-share: stamp
-	@ echo 3 finished $(srcdir)
-
-stamp: ${FILES}
-	-rm -f stamp
-	$(STAMP) stamp
-
-mostlyclean-local:
-	@-rm -f $(FILES)
-	@-rm -f stamp
-
-clean-local: mostlyclean-local
-distclean-local: clean-local
-
-<<command.list>>
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}