2009-10-12 Kostas Oikonomou <ko@research.att.com>

	* algebra/tex.spad.pamphlet: Update special function list.

5 files changed, 103 insertions, 46 deletions

diff --git a/configure b/configure
index 24e24127..7585f2f9 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2009-10-08.
+# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2009-10-10.
 #
 # Report bugs to <open-axiom-bugs@lists.sf.net>.
 #
@@ -745,8 +745,8 @@ SHELL=${CONFIG_SHELL-/bin/sh}
 # Identity of this package.
 PACKAGE_NAME='OpenAxiom'
 PACKAGE_TARNAME='openaxiom'
-PACKAGE_VERSION='1.4.0-2009-10-08'
-PACKAGE_STRING='OpenAxiom 1.4.0-2009-10-08'
+PACKAGE_VERSION='1.4.0-2009-10-10'
+PACKAGE_STRING='OpenAxiom 1.4.0-2009-10-10'
 PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net'
 
 ac_unique_file="src/Makefile.pamphlet"
@@ -824,6 +824,7 @@ AXIOM_LISP
 NOWEAVE
 NOTANGLE
 MAKEINDEX
+PDFLATEX
 LATEX
 HOST_AWK
 AWK
@@ -1498,7 +1499,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures OpenAxiom 1.4.0-2009-10-08 to adapt to many kinds of systems.
+\`configure' configures OpenAxiom 1.4.0-2009-10-10 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1568,7 +1569,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2009-10-08:";;
+     short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2009-10-10:";;
    esac
   cat <<\_ACEOF
 
@@ -1671,7 +1672,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-OpenAxiom configure 1.4.0-2009-10-08
+OpenAxiom configure 1.4.0-2009-10-10
 generated by GNU Autoconf 2.63
 
 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
@@ -1685,7 +1686,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by OpenAxiom $as_me 1.4.0-2009-10-08, which was
+It was created by OpenAxiom $as_me 1.4.0-2009-10-10, which was
 generated by GNU Autoconf 2.63.  Invocation command line was
 
   $ $0 $@
@@ -3733,13 +3734,13 @@ if test "${lt_cv_nm_interface+set}" = set; then
 else
   lt_cv_nm_interface="BSD nm"
   echo "int some_variable = 0;" > conftest.$ac_ext
-  (eval echo "\"\$as_me:3736: $ac_compile\"" >&5)
+  (eval echo "\"\$as_me:3737: $ac_compile\"" >&5)
   (eval "$ac_compile" 2>conftest.err)
   cat conftest.err >&5
-  (eval echo "\"\$as_me:3739: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
+  (eval echo "\"\$as_me:3740: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
   (eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out)
   cat conftest.err >&5
-  (eval echo "\"\$as_me:3742: output\"" >&5)
+  (eval echo "\"\$as_me:3743: output\"" >&5)
   cat conftest.out >&5
   if $GREP 'External.*some_variable' conftest.out > /dev/null; then
     lt_cv_nm_interface="MS dumpbin"
@@ -4942,7 +4943,7 @@ ia64-*-hpux*)
   ;;
 *-*-irix6*)
   # Find out which ABI we are using.
-  echo '#line 4945 "configure"' > conftest.$ac_ext
+  echo '#line 4946 "configure"' > conftest.$ac_ext
   if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5
   (eval $ac_compile) 2>&5
   ac_status=$?
@@ -7090,11 +7091,11 @@ else
    -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
    -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
    -e 's:$: $lt_compiler_flag:'`
-   (eval echo "\"\$as_me:7093: $lt_compile\"" >&5)
+   (eval echo "\"\$as_me:7094: $lt_compile\"" >&5)
    (eval "$lt_compile" 2>conftest.err)
    ac_status=$?
    cat conftest.err >&5
-   echo "$as_me:7097: \$? = $ac_status" >&5
+   echo "$as_me:7098: \$? = $ac_status" >&5
    if (exit $ac_status) && test -s "$ac_outfile"; then
      # The compiler can only warn and ignore the option if not recognized
      # So say no if there are warnings other than the usual output.
@@ -7429,11 +7430,11 @@ else
    -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
    -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
    -e 's:$: $lt_compiler_flag:'`
-   (eval echo "\"\$as_me:7432: $lt_compile\"" >&5)
+   (eval echo "\"\$as_me:7433: $lt_compile\"" >&5)
    (eval "$lt_compile" 2>conftest.err)
    ac_status=$?
    cat conftest.err >&5
-   echo "$as_me:7436: \$? = $ac_status" >&5
+   echo "$as_me:7437: \$? = $ac_status" >&5
    if (exit $ac_status) && test -s "$ac_outfile"; then
      # The compiler can only warn and ignore the option if not recognized
      # So say no if there are warnings other than the usual output.
@@ -7534,11 +7535,11 @@ else
    -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
    -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
    -e 's:$: $lt_compiler_flag:'`
-   (eval echo "\"\$as_me:7537: $lt_compile\"" >&5)
+   (eval echo "\"\$as_me:7538: $lt_compile\"" >&5)
    (eval "$lt_compile" 2>out/conftest.err)
    ac_status=$?
    cat out/conftest.err >&5
-   echo "$as_me:7541: \$? = $ac_status" >&5
+   echo "$as_me:7542: \$? = $ac_status" >&5
    if (exit $ac_status) && test -s out/conftest2.$ac_objext
    then
      # The compiler can only warn and ignore the option if not recognized
@@ -7589,11 +7590,11 @@ else
    -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
    -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
    -e 's:$: $lt_compiler_flag:'`
-   (eval echo "\"\$as_me:7592: $lt_compile\"" >&5)
+   (eval echo "\"\$as_me:7593: $lt_compile\"" >&5)
    (eval "$lt_compile" 2>out/conftest.err)
    ac_status=$?
    cat out/conftest.err >&5
-   echo "$as_me:7596: \$? = $ac_status" >&5
+   echo "$as_me:7597: \$? = $ac_status" >&5
    if (exit $ac_status) && test -s out/conftest2.$ac_objext
    then
      # The compiler can only warn and ignore the option if not recognized
@@ -10389,7 +10390,7 @@ else
   lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
   lt_status=$lt_dlunknown
   cat > conftest.$ac_ext <<_LT_EOF
-#line 10392 "configure"
+#line 10393 "configure"
 #include "confdefs.h"
 
 #if HAVE_DLFCN_H
@@ -10485,7 +10486,7 @@ else
   lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
   lt_status=$lt_dlunknown
   cat > conftest.$ac_ext <<_LT_EOF
-#line 10488 "configure"
+#line 10489 "configure"
 #include "confdefs.h"
 
 #if HAVE_DLFCN_H
@@ -11736,7 +11737,34 @@ fi
 
 
 
-# Extract the first word of "latex", so it can be a program name with args.
+# Extract the first word of "pdflatex", so it can be a program name with args.
+set dummy pdflatex; ac_word=$2
+{ $as_echo "$as_me:$LINENO: checking for $ac_word" >&5
+$as_echo_n "checking for $ac_word... " >&6; }
+if test "${ac_cv_path_PDFLATEX+set}" = set; then
+  $as_echo_n "(cached) " >&6
+else
+  case $PDFLATEX in
+  [\\/]* | ?:[\\/]*)
+  ac_cv_path_PDFLATEX="$PDFLATEX" # Let the user override the test with a path.
+  ;;
+  *)
+  as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
+for as_dir in $PATH
+do
+  IFS=$as_save_IFS
+  test -z "$as_dir" && as_dir=.
+  for ac_exec_ext in '' $ac_executable_extensions; do
+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then
+    ac_cv_path_PDFLATEX="$as_dir/$ac_word$ac_exec_ext"
+    $as_echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5
+    break 2
+  fi
+done
+done
+IFS=$as_save_IFS
+
+  test -z "$ac_cv_path_PDFLATEX" && ac_cv_path_PDFLATEX="# Extract the first word of "latex", so it can be a program name with args.
 set dummy latex; ac_word=$2
 { $as_echo "$as_me:$LINENO: checking for $ac_word" >&5
 $as_echo_n "checking for $ac_word... " >&6; }
@@ -11763,6 +11791,8 @@ done
 done
 IFS=$as_save_IFS
 
+  test -z "$ac_cv_path_LATEX" && ac_cv_path_LATEX="{ $as_echo "$as_me:$LINENO: Documentation is disabled." >&5
+$as_echo "$as_me: Documentation is disabled." >&6;}"
   ;;
 esac
 fi
@@ -11775,6 +11805,20 @@ else
 $as_echo "no" >&6; }
 fi
 
+"
+  ;;
+esac
+fi
+PDFLATEX=$ac_cv_path_PDFLATEX
+if test -n "$PDFLATEX"; then
+  { $as_echo "$as_me:$LINENO: result: $PDFLATEX" >&5
+$as_echo "$PDFLATEX" >&6; }
+else
+  { $as_echo "$as_me:$LINENO: result: no" >&5
+$as_echo "no" >&6; }
+fi
+
+
 
 for ac_prog in makeindex
 do
@@ -11818,12 +11862,6 @@ fi
   test -n "$MAKEINDEX" && break
 done
 
-if test -n "$LATEX"; then \
-   :
-else
-    { $as_echo "$as_me:$LINENO: Documentation is disabled." >&5
-$as_echo "$as_me: Documentation is disabled." >&6;}
-fi
 
 ## ---------------------------------------
 ## Make sure noweb executable is available
@@ -17062,7 +17100,7 @@ exec 6>&1
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by OpenAxiom $as_me 1.4.0-2009-10-08, which was
+This file was extended by OpenAxiom $as_me 1.4.0-2009-10-10, which was
 generated by GNU Autoconf 2.63.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -17125,7 +17163,7 @@ Report bugs to <bug-autoconf@gnu.org>."
 _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_version="\\
-OpenAxiom config.status 1.4.0-2009-10-08
+OpenAxiom config.status 1.4.0-2009-10-10
 configured by $0, generated by GNU Autoconf 2.63,
   with options \\"`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\"
 
diff --git a/configure.ac b/configure.ac
index abcdb432..c8b62960 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 sinclude(config/open-axiom.m4)
 sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.4.0-2009-10-08], 
+AC_INIT([OpenAxiom], [1.4.0-2009-10-10], 
         [open-axiom-bugs@lists.sf.net])
 
 AC_CONFIG_AUX_DIR(config)
@@ -118,13 +118,11 @@ AC_PATH_PROGS([HOST_AWK],[awk nawk gawk mawk])
 
 AC_CHECK_PROG([AR], [ar], [ar], [AC_MSG_ERROR([program 'ar' is missing])])
 
-AC_PATH_PROG([LATEX], [latex])
+AC_PATH_PROG([PDFLATEX], [pdflatex],
+             [AC_PATH_PROG([LATEX], [latex],
+                           [AC_MSG_NOTICE([Documentation is disabled.])])])
+
 AC_CHECK_PROGS([MAKEINDEX], [makeindex])
-if test -n "$LATEX"; then \
-   :
-else
-    AC_MSG_NOTICE([Documentation is disabled.])
-fi
 
 ## ---------------------------------------
 ## Make sure noweb executable is available
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index 9da4c06d..104d42af 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -737,13 +737,11 @@ files in a directory named \File{noweb/} at the top level.  Normally,
 this works right when one follows the installation instructions.
 %
 <<doc utils>>=
-AC_PATH_PROG([LATEX], [latex])
+AC_PATH_PROG([PDFLATEX], [pdflatex],
+             [AC_PATH_PROG([LATEX], [latex],
+                           [AC_MSG_NOTICE([Documentation is disabled.])])])
+
 AC_CHECK_PROGS([MAKEINDEX], [makeindex])
-if test -n "$LATEX"; then \
-   :
-else
-    AC_MSG_NOTICE([Documentation is disabled.])
-fi
 
 ## ---------------------------------------
 ## Make sure noweb executable is available
@@ -1151,7 +1149,7 @@ information:
 <<Autoconf init>>=
 sinclude(config/open-axiom.m4)
 sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.4.0-2009-10-08], 
+AC_INIT([OpenAxiom], [1.4.0-2009-10-10], 
         [open-axiom-bugs@lists.sf.net])
 
 @
diff --git a/src/ChangeLog b/src/ChangeLog
index d100410a..c986f8c1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2009-10-12  Kostas Oikonomou  <ko@research.att.com>
+
+	* algebra/tex.spad.pamphlet: Update special function list.
+
 2009-10-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/void.spad.pamphlet (Void): Remove Rep definition.
diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet
index 1144842d..9ce894cb 100644
--- a/src/algebra/tex.spad.pamphlet
+++ b/src/algebra/tex.spad.pamphlet
@@ -171,11 +171,30 @@ TexFormat(): public == private where
     specialStrings : L S :=
       ["cos", "cot", "csc", "log", "sec", "sin", "tan",
         "cosh", "coth", "csch", "sech", "sinh", "tanh",
-          "acos","asin","atan","erf","...","$","infinity"]
+          "acos","asin","atan","erf","...","$","infinity",
+            "alpha", "beta", "gamma", "delta", "epsilon", 
+              "zeta", "eta", "theta", "iota", "kappa", "lambda", 
+                "mu", "nu", "xi", "omikron", "pi", "rho", "sigma", 
+                  "tau", "upsilon", "phi", "chi", "psi", "omega" 
+                    "Alpha", "Beta", "Gamma", "Delta", "Epsilon", 
+                      "Zeta", "Eta", "Theta", "Iota", "Kappa", "Lambda", 
+                        "Mu", "Nu", "Xi", "Omikron", "Pi", "Rho", "Sigma", 
+                          "Tau", "Upsilon", "Phi", "Chi", "Psi", "Omega"]
+
+
     specialStringsInTeX : L S :=
       ["\cos","\cot","\csc","\log","\sec","\sin","\tan",
         "\cosh","\coth","\csch","\sech","\sinh","\tanh",
-          "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty"]
+          "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty", 
+            "\alpha", "\beta", "\gamma", "\delta", "\epsilon", 
+              "\zeta", "\eta", "\theta", "\iota", "\kappa", "\lambda", 
+                "\mu", "\nu", "\xi", "\omikron", "\pi", "\rho", "\sigma", 
+                  "\tau", "\upsilon", "\phi", "\chi", "\psi", "\omega" 
+                    "\Alpha", "\Beta", "\Gamma", "\Delta", "\Epsilon", 
+                      "\Zeta", "\Eta", "\Theta", "\Iota", "\Kappa", "\Lambda", 
+                        "\Mu", "\Nu", "\Xi", "\Omikron", "\Pi", "\Rho", "\Sigma", 
+                          "\Tau", "\Upsilon", "\Phi", "\Chi", "\Psi", "\Omega"]
+
 
     -- local function signatures