From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=2.0 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,320fea3b33107e09,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.42.139.201 with SMTP id h9mr10172836icu.7.1340730317547;
        Tue, 26 Jun 2012 10:05:17 -0700 (PDT)
Path: 
 l9ni22671pbj.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: fyi, GNAT GPL 2012 and SPARK GPL 2012  are out
Date: Tue, 26 Jun 2012 12:05:12 -0500
Organization: Aioe.org NNTP Server
Message-ID: <jscq46$f3b$1@speranza.aioe.org>
Reply-To: nma@12000.org
NNTP-Posting-Host: KdJUrTuvv3Zv/s8pPxNluw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:13.0) Gecko/20120614 Thunderbird/13.0.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-06-26T12:05:12-05:00
List-Id: <comp.lang.ada>

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.
-----------------------------------------