Release Summary

AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro; Annual major release of flagship products brings new platform support, other enhancements