Development Log

  • GNAT Pro | GPS | GNATbench
    Nov 21st, 2008

    Support for -noswitch Examiner switch
    The new SPARK Examiner switch -noswitch is now supported by GPS graphically in the project properties.