==========================================================
GNATbench 2.3 NEW FEATURES LIST Current as of Feb 13, 2009
==========================================================

Copyright (c) 2009, AdaCore

This file contains a list of new features introduced in GNATbench for WindRiver
Workbench. A full description of all GNATbench features can be found in the
GNATbench documentation.

An ISO date (YYYY-MM-DD) appears in parentheses after the description line.
This date shows the implementation date of the feature.



New features in GNATbench 2.3.0
-------------------------------

NF-23-H924-019 SPARK support (2009-02-13)

    GNATbench now support the SPARK toolsuite through a set of items added to
    the project contextual menu, activated when the SPARK executable is found
    on the PATH.
