next up previous
Next: Highlights Up: rel Previous: rel


Introduction

This document provides a terse summary of the new features installed in Magma for release in version V2.19 (December 2012). A small number of new features were exported in patch releases prior to the main release of V2.19 in December 2012 and these are also listed here for completeness. Only significant bugfixes are noted here - for a more complete list of bugfixes the reader should consult the patch release change log for V2.18-x.


Recent releases of Magma were: V2.18 (December 2011), V2.17 (December 2010), V2.16 (November 2009), V2.15 (December 2008), V2.14 (October 2007), V2.13 (July 2006).