]> www.ginac.de Git - ginac.git/commitdiff
Merge branch 'ginac_1-4' of git://www.ginac.de/ginac into ginac_1-4
authorRichard B. Kreckel <kreckel@ginac.de>
Wed, 26 Mar 2008 23:23:22 +0000 (00:23 +0100)
committerRichard B. Kreckel <kreckel@ginac.de>
Wed, 26 Mar 2008 23:23:22 +0000 (00:23 +0100)
1  2 
doc/tutorial/ginac.texi

Simple merge