Update of /home/cvs/GiNaC/doc/tutorial Modified Files: Tag: ginac_1-1 ginac.texi Log Message: * Fix citation. (The arctan formula for Pi is due to John Machin and not Pierre Me'chain. This confusion came from Davenport's book.)