31 Jul
2000
31 Jul
'00
12:30 p.m.
Dear Bernard, Thank you for your bugreport and the rest. I tried to download <http://perso.wanadoo.fr/bernard.parisse/ginac.tgz>. But it fails, I get three bytes each time. Manually, this is what happens: zino:~$ telnet perso.wanadoo.fr 80 Trying 193.252.19.22... Connected to perso.wanadoo.fr. Escape character is '^]'. GET /bernard.parisse/ginac.tgz ~Connection closed by foreign host. Regards -richy. -- Richard B. Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>