20130124 tpd src/axiom-website/patches.html 20130124.03.tpd.patch
20120124 tpd src/input/trigtests.input test new hyperbolic identities