fyi, GNAT GPL 2012 and SPARK GPL 2012 are out

["Nasser M. Abbasi" <nma@12000.org>]

I did not see this posted here yet, so I thought I do it
in case someone did not know about it. Sorry if this shows
twice.

email I got from Ada core is below

-------------------------------------------
Dear GNAT and SPARK GPL user,
  
We are pleased to announce the release of GNAT GPL 2012, the integrated
Ada, C, and C++ toolset for academic users and FLOSS developers.
This new edition provides many new features and enhancements in all
areas of the technology. The most notable ones are:
  
  - Full support for Ada 2012;
  - Tool enhancements:
    - GPS 5.1 (improved support for C/C++, centralized handling of
      VCS menus, improved automatic code fixes, more intuitive
      handling of the MDI)
    - GtkAda 2.24 (bindings upgraded to Gtk 2.24, support for printing,
      support of the Glade-3 GUI builder and the Gtk_Builder approach)
    - GNATbench 2.6 (ergonomic improvements, additional tooltip
      functionality)
  - A dimensionality checking system for physical units
  - Improvements to GNATpp and GNATmetric
  - Support for unloading Ada plug-ins
  - Improved Ada/C++ integration
  - New warnings and better error messages
  - Support for encapsulated shared libraries with no external
    dependencies
  - New unit GNAT.Expect.TTY for advanced terminal interaction
  
We are also pleased to announce the release of SPARK GPL 2012,
the integrated static analysis and verification toolset for
academic users and FLOSS developers.
  
This new edition provides many new features and enhancements to
both the SPARK language and toolset. The most notable ones are:
  
  - Support for generic subprograms
  - Annotated and refined proof functions
  - Fully-modelled function calls in proof contexts
  - Assume statements
  - Full-range subtypes for all types
  - Automatic data flow analysis mode
  - Improved Examiner options for platform-independence and easier
    makefile integration
  - Improved use of types & subtypes in FDL
  - Improved Simplifier rules and tactics
  - Extension of SPARKBridge to accommodate other SMT solvers: CVC3,
    Yices and Z3
  
GNAT GPL 2012 and SPARK GPL 2012 can be downloaded from the
"Download" section on https://libre.adacore.com.
-----------------------------------------