diff --git a/books/axiom.sty b/books/axiom.sty
index afafa11..013d0b7 100644
--- a/books/axiom.sty
+++ b/books/axiom.sty
@@ -20,17 +20,18 @@
%% Special Meanings for Math Characters
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\providecommand{\N}{\mathbb{N}}
-\providecommand{\Natural}{\mathbb{N}}
-\providecommand{\Z}{\mathbb{Z}}
-\providecommand{\Integer}{\mathbb{Z}}
-\providecommand{\Rational}{\mathbb{Q}}
-\providecommand{\Q}{\mathbb{Q}}
-\providecommand{\Complex}{\mathbb{C}}
-\providecommand{\C}{\mathcal{C}}
-\providecommand{\Real}{\mathbb{R}}
-\providecommand{\F}{\mathcal{F}}
-\providecommand{\R}{\mathcal{R}}
+% don't use mathbb because texlive has changed
+\providecommand{\N}{\bf N}
+\providecommand{\Natural}{\bf N}
+\providecommand{\Z}{\bf Z}
+\providecommand{\Integer}{\bf Z}
+\providecommand{\Q}{\bf Q}
+\providecommand{\Rational}{\bf Q}
+\providecommand{\C}{\bf C}
+\providecommand{\Complex}{\bf C}
+\providecommand{\R}{\bf R}
+\providecommand{\Real}{\bf R}
+\providecommand{\F}{\bf F}
\providecommand{\abs}[1]{\left|{#1}\right|}
\mathchardef\bigp="3250
\mathchardef\bigq="3251
diff --git a/changelog b/changelog
index af78717..4ce7247 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140729 tpd src/axiom-website/patches.html 20140729.01.tpd.patch
+20140729 tpd books/axiom.sty don't use mathbb because texlive has changed
20140727 tpd src/axiom-website/patches.html 20140727.02.tpd.patch
20140727 tpd src/axiom-website/download.html update table, add MACOSX
20140727 tpd src/axiom-website/releasenotes.html add august release notes
diff --git a/patch b/patch
index 800bcad..20e02cb 100644
--- a/patch
+++ b/patch
@@ -1,466 +1,3 @@
-August 2014 release notes
-
-This release moves Axiom to the latest GCL version.
-All unused prior versions were removed.
-
-Most of the work involved in this release has involved CATS,
-working with Albert Rich to develop Axiom tests.
-
-Noweb was removed. Axiom now uses its own literate tools.
-
-The databases are no longer compressed.
-
-Volume 13: Proving Axiom Correct was started
-
-Makefile.pamphlet
- VERSION = August 2014
- TESTSET defaults to regresstests
- fix missing dvipdfm
- remove noweb
-
-book/
- new directory containing axiom-developer emails
- reduce and categorize emails for history
- create timeline of people joining/leaving
-
-books/
- axiom.sty
- document
- remove all other sources
- add additional macros
- axbook.tgz
- fix sinCosExpandRules
- dvipdfm.def
- added
- tanglec.c
- new C function to handle chunks
- tangle.lisp
- add fastxhtml extraction from bookvol11
- extract (rename from document)
- support new chunk syntax
- ps/
- move .ps to .eps
- add new images
-
-books/Makefile
- handle bookheader.tex
- fix broken sed regular expression
- add bookvol13 (Proving Axiom Correct)
-
-books/bookheader.tex
- user underline, colored links
- standardize headers, table of contents
-
-books/bookvol0 (Jenks)
- add condata for MAGCDOC
- add graphics, fix typos, add text
-
-books/bookvol1 (tutorial)
- use bookheader.tex
- fix typos
-
-books/bookvol2 (users guide)
- use bookheader.tex
- add category theory chapter
- remove noweb
-
-books/bookvol3 (programmers guide)
- use bookheader.tex
- remove noweb
-
-books/bookvol4 (developers guide)
- use bookheader.tex
- section on changing GCL versions
- document makeHelpFiles
- remove autoload files
- remove noweb
- add HACKPI section
-
-books/bookvol5 (interpreter)
- use bookheader.tex
- fix GETL for GCL
- add Attributes as Categories
- add Comparable
- add LeftOreRing
- add U32Matrix support macros
- add bc-matrix code
- add support code for U8Vector
- add support code for U32Vector
- add support code for U8Matrix
- add support code for U16Matrix
- add U32VectorPolyunomialOperations
- expose FiniteFieldFactorization
- expose MAGCDOC
- expose MatrixManipulation
- rename functionp to canFuncall?
- incremental rewrite of br-con.lisp
- merge ht-util.lisp
-
-books/bookvol6 (commands)
- use bookheader.tex
-
-books/bookvol7 (hyperdoc)
- apply Camm's patches
- remove bibliography
- standardize the table of contents
- update credits
- use bookheader.tex
-
-books/bookvol7.1 (hyperdoc pages)
- standardize the table of contents
- update What's New Page
- update credits
- use bookheader.tex
-
-books/bookvol8 (graphics)
- apply Camm's patches
- convert bookvol8 from noweb to chunks
- remove crc test cases
- standardize the table of contents
- update credits
- use bookheader.tex
- remove noweb
-
-books/bookvol8.1 (graphics gallery)
- add CRC standard test cases, section 2.3-2.9
-
-books/bookvol9 (compiler)
- use bookheader.tex
- functionp -> canFuncall?
-
-books/bookvol10 (algebra implementation)
- absorb src/algebra/Makefile
- use bookheader.tex
-
-books/bookvol10.1 (algebra theory)
- add interval arithmetic
- add section on interpolation formulas
- use bookheader.tex
-
-books/bookvol10.2 (categories)
- AGG bug fixed 40355
- CLAGG bug fixed 40021
- MONAD bug fix 40350, add 7236
- ORDSET bug fix 40346
- PTRANFN bug fixed 40357
- REAL bug fix 40345
- add Attributes as Categories
- add Comparable
- add LeftOreRing
- add MAGCDOC
- add enumerate to FINITE
- add matrix initializer function
- fix failing test cases
- fix help documentation and regression tests
- use bookheader.tex
- write help documentation for all categories
- FiniteSetAggregate subset? fixed
- BinaryTreeCategory remove finiteAggregate, bug fix 7255
-
-books/bookvol10.3 (domains)
- AFFSP bug fix 30230, 20495; introduce 60076
- BLAS1 bug fixed 40304
- CHAR bug fix 40022
- DFLOAT bug fix 20073, add 20570
- DFLOAT bug fixed 40019
- FPS bug fixed 40013
- INBFF bug fixed 20465, add 20571
- INTRVL bug fix 20480, 30143
- ITAYLOR bug fix 20542 pretend
- LIST bug fix 20063, add, add 20569
- MLIFT bug fix 20001, add 20568
- OPTPROB bug fix 40347
- RNUMP removed bug fix 30047
- SINT bug fix 20057 pretend
- SMTS bug fix 20383, 50005, add 20567
- SYMBOL bug fix 20056 pretend
- add U16Matrix
- add U16Vector
- add U32Matrix
- add U8Matrix
- add U8Vector
- add information to SingleInteger
- SEXOF bug fix 20501
- fix failing test cases
- fix help documentation and regression tests
- move EFULS EFUPXS from package to domain
- update U32Vector domain
- use bookheader.tex
- write help documentation for all domains
-
-books/bookvol10.4 (packages)
- ATTREG bug fix 40362
- ELTAB bug fix 40360
- FSPECF bug fix 7235, 40077
- GRAY bug fixed 20467
- MAPPKG1 bug fix 40351
- MSYSCMD bug fix 40359
- SOLVERAD bug fix 40043
- SREGSET bug fix 50001
- add FiniteFieldFactorization
- add MatrixManipulation, add Raoul Bourquin
- add U32VectorPolynomialOperations
- apply Waldek's changes to imposelc in PGCD
- comment out bad code in GUESS
- document htrigs function in TRMANIP
- expand hyperbolic identities
- bug fix "bad reduction" in multivariate poly gcd
- bug fix ++X function example in gcd
- bug fix OUT.spad warning (bug 329)
- bug fix failing test cases
- bug fix help documentation and regression tests
- move EFULS EFUPXS from package to domain
- use bookheader.tex
- write help documentation
- add reportInstantiations to API package
-
-books/bookvol10.5 (numerics)
- add netlib cephes function covers
- use bookheader.tex
-
-books/bookvol11 (browser)
- use bookheader.tex
- remove noweb
-
-books/bookvol12 (crystal)
- remove noweb
-
-books/bookvol13 (proving axiom correct)
- created
-
-books/bookvolbib (bibliography)
- add references and abstracts
- add subsection Ore Rings
- add subsection Partial Fraction Decomposition
- add subsection Integration
- add subsection Expression Simplification
- add subsection Differential Equations
- add subsection Advanced Documentation
- add subsection Numerics
- add subsection Interval Arithmetic
- add subsection Proving Axiom Correct
- add subsection Category Theory
- add subsection Polynomial GCD
- add subsection Exponenetial Integral
- add subsection Special Functions
- add subsection Numerical Algorithms
- add subsection Solving Systems of Equations
-
-buglist
- MLIFT fix 20001, add 20568
- AGG fixed 40355
- ATTREG fix 40362
- BLAS1 fixed 40304
- CHAR fix 40022
- CLAGG fixed 40021
- DFLOAT fix 20073, add 20570
- DFLOAT fixed 40019
- ELTAB fix 40360
- FPS fixed 40013
- FSPECF fix 7235, 40077
- GRAY fixed 20467
- INBFF fixed 20465, add 20571
- INTRVL fix 20480, 30143
- ITAYLOR fix 20542 pretend
- LIST fix 20063, add, add 20569
- MAPPKG1 fix 40351
- MONAD fix 40350, add 7236
- MSYSCMD fix 40359
- OPTPROB fix 40347
- ORDSET fix 40346
- PTRANFN fixed 40357
- REAL fix 40345
- SINT fix 20057 pretend
- SMTS fix 20383, 50005, add 20567
- SOLVERAD fix 40043
- SREGSET fix 50001
- SYMBOL fix 20056 pretend
- fix bug 7072/19 D(0^z, z) closed
- fix bug 7248: differentiation fix bug in D(1,z)
- fix bug 7249: radicalSolve(z^7=1, z)
- fix bug 7249: radicalSolve(z^7=1, z) update
- fix bug 7251: integrate(1/(1+z^4), z=0..1) :: Complex Float
- fix bug 7252: argument(-%i)
- fix bug 7253: There are no library operations named 'when'
- fix bug 7254: f==n+->sum(sum(1/i,i=1..j),j=1..n) complains
- fix bug 7256: acot(-1) values differ
- fix bug 7257: normalize(subst(asin(z),z=-1)) division by zero
- fix bug 7258: acosh(0.0) invalid argument to acosh
- fix bug 20501, SEXOF pretend, 30047 RNUMP
- fix bug 30230, 20495; introduce 60076
- fix bug 7236
- fix bug 329, add todo 330
- remove dead items
- remove error message for deleted files
- add 7142 exp^log(x) Cannot take first of an empty list update
- add 7233: fill! operation from U8Vector does not show up
- add 7242/7243
- add 7244, 7245
- add bug 7241, fix the integration routines
- add bugs found in tests
- add kamke4, kamke6 missing bug
- add todo 335: add packages to )d op gcd
- add 7232
- wish 1011: sum(1/(k+a), k=1..n) by Gosper's method
-
-Wikipedia
- en.wikipedia.org/wiki/Axiom_(computer_algebra_system) update date
- en.wikipedia.org/wiki/List_of_computer_algebra_systems update date
-
-faq
- remove noweb
- fix mailing list links
-
-readme
- add Edi Meier
- add Edi Meier
- add Jia Zhao Cong
- add Raoul Bourquin
- update credits
-
-src/Makefile
- clean up src/algebra properly
- convert bookvol8 from noweb to chunks
- fix {OUT} bug
- handle special case files for bookvol11
- rename tangle.c to tanglec.c
- pamphlet extract src using chunk syntax
- pamphlet modified, noweb removed
-
-src/algebra/Makefile
- add Comparable
- add FINITE-
- add LeftOreRing
- add MatrixManipulation
- add U16Matrix
- add U32Matrix
- add U32VectorPolynomialOperations
- add U8Matrix
- add fastxhtml extraction call
- add machinearithmetic.input
- compile FiniteFieldFactorization
- compile MAGCDOC
- fix failing test cases
- set up regression tests
- update graph info for OUT
- modified, noweb removed
-
-src/algebra/libdb.text
- add Attributes as Categories
-
-src/axiom-website/
- AxiomConference.pdf added
- axiom.sty
- CATS/
- charlwood.input added
- rich* added
- kamke*.txt added
- books/
- add 8.1, 10.5, bibliography
- add bookvol13
- community/
- fix mailing list links
- documentation.html
- add AxiomConference.pdf
- add Bottorff quote
- add Knuth quote, cleanup
- add Lamport quote
- add McNamara quote
- add Stroustrop quote
- add W.T. Gowers quote
- download.html
- add binaries
- add texlive-fonts-extra
- patches.html
- add patches
- releasenotes.html
- update for August 2014
-
-src/booklets
- Makefile cleanup
-
-src/clef
- Makefile rename tangle to tanglec
- edible.c modified, noweb removed
-
-src/doc
- export endpaper as pdf
- remove axiom.bib
- rename tangle to tanglec
- use books/axiom.sty
- remove noweb
- booklet.c fix mailing list, remove noweb
- msgs/
- s2-us.msgs remove .as extension from compiler msg
-
-src/etc
- Makefile remove noweb
- asq.c remove noweb
-
-src/input/
- Makefile add input tests for
- charlwood, cherry, functioncode, machinarithmetic,
- pgcd, polygamma, rich*, romanpolynomials, rsa, segletes
- exptest, subset, tree, trigtests
- Makefile remove noweb
- add many tests
-
-src/interp
- Makefile
- remove noweb
- remove autoload of ht-util
- remove bc-matrix
- bc-matrix.lisp removed
- br-con.lisp move to bookvol5
- debugsys cleanup
- g-timer.lisp RNUMP removed
- g-util.lisp functionp -> canFuncall?
- g-util.lisp remove functions
- ht-util.lisp deleted, merged with bookvol5
- i-coerce.lisp functionp -> canFuncall?
- i-funsel.lisp remove functions
- i-spec2.lisp. functionp -> canFuncall?
- interp-proclaims.lisp functionp -> canFuncall?
- regress.lisp improve diff output
- sys-pkg.lisp RNUMP removed
- temp.text deleted
- util.lisp functionp -> canFuncall?
- util.lisp remove autoload of ht-util
- util.lisp remove autoload trigger functions
- util.lisp remove bc-matrix autoload triggers
- util.lisp remove compression
- vmlisp.lisp RNUMP removed
-
-src/scripts
- Makefile remove noweb
- boxhead removed
- boxtail removed
- boxup removed
- document -> books/extract
- showdvi removed
- tex/
- axiom.sty removed
-
-src/share
- Makefile remove noweb
- algebra/compress removed
- algebra/browse, category, dependents, interp, operations, users
- add Attributes as Categories
- add LeftOreRing
- enumerate to FINITE
- no compression
- updated
- doc/
- hypertex/pages/util.ht deleted, unused
-
-src/sman
- Makefile cleanup
-
-zips/
- axiom.vim.tgz vim syntax file added
- gcl-cgywin.tgz added
- noweb-2.10a.tgz deleted, noweb removed
- noweb.* deleted, noweb removed
- all unused patches and versions of gcl deleted
-
+books/axiom.sty don't use mathbb because texlive has changed
+The mathbb font requires a HUGE font package from texlive. Use \bf instead.
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 7b36e1b..1570ac6 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4576,6 +4576,8 @@ August 2014 release
In process, not yet released
+20140729.01.tpd.patch
+books/axiom.sty don't use mathbb because texlive has changed