Release Summary

AdaCore, a company offering development and verification tools for reliable, safe and secure software, today released the latest version of its flagship GNAT Pro Ada Development Environment.