20130727 tpd src/axiom-website/patches.html 20130727.01.tpd.patch
20130727 tpd src/axiom-website/CATS/index.html add rich3c
20130727 tpd src/axiom-website/CATS/rich3c.input added
20130727 tpd src/axiom-website/CATS/rich3c.input.pdf added
20130727 tpd src/input/Makefile add rich3c
20130727 tpd src/input/rich3c.input added