William did this, apparently. https://groups.google.com/d/msg/sage-devel/2aANS7hEdMQ/E7WiRKN5Q4EJ
-Keshav ---- Join us in #sagemath on irc.freenode.net ! -- 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
