On 11/17/11 11:53 AM, Eviatar wrote:
Try the server. I think it's still running.
(replying only to sage-devel)Actually, it looks like the server ran out of disk space (/scratch on boxen).
Thanks, Jason -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
