AdaCore -------------------------------------------------------------------- Events : ---------------------------------- AdaCore's Added : May 08, 2017 About This Textfile : ---------------------------------- Text file generated from : http://CopyLeftLicense.com/