[GiNaC-list] CVS server moved

Hi! As previously announced, the GiNaC CVS server has moved to the new location cvs.ginac.de. To do an anonymous checkout: $ cvs -d :pserver:anoncvs@cvs.ginac.de:/home/cvs/GiNaC login (password is 'anoncvs') $ cvs -d :pserver:anoncvs@cvs.ginac.de:/home/cvs/GiNaC co GiNaC If you are working with a copy checked out from the old CVS server, you need to do a fresh checkout from cvs.ginac.de. Happy hacking, Christian -- / Physics is an algorithm \/ www.cebix.net