Fix URL of CODA.
authorRichard Kreckel <kreckel@ginac.de>
Mon, 17 May 2010 06:37:08 +0000 (08:37 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Mon, 17 May 2010 06:37:49 +0000 (08:37 +0200)
commita7c70c1f9e0b906a8b95bffb04bc1266eb59f39d
treeb636abdf29029922777414e453e1ec95d3fc5ee0
parent05f749ac2abb672f8e0a1cef938ea1e83e1255dc
Fix URL of CODA.
doc/tutorial/ginac.texi