On 8 December 2011 23:08, Chris Muller <ma.chris.m@gmail.com> wrote:

This is, by far, the best Magma ever.  Please enjoy the new version.