It seems that cvs.maxima.sourceforge.net is not working for me. Is that right? I used it yesterday without problems. Since I'm behind a firewall, I can't really tell. Is it working for other people? Ray