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:08 +0000 (08:37 +0200)
commit0c1db90c39613c27a088b760d68e8d59d4a12ee3
treec599f40f60ff96b950baf29cb8d77906954d92d8
parentb604136850dac1fa8016623349061f2a3b0085be
Fix URL of CODA.
doc/tutorial/ginac.texi