Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 2017-09-08 | 1 | -162/+0 |
* | g-rannum.adb, [...]: Minor reformatting. | Robert Dewar | 2015-02-05 | 1 | -1/+0 |
* | opt.ads (Warn_On_Suspicious_Contract): Update comment describing use. | Yannick Moy | 2015-02-05 | 1 | -2/+8 |
* | [multiple changes] | Arnaud Charlet | 2014-01-24 | 1 | -2/+6 |
* | sem_ch6.adb, [...]: Minor reformatting. | Robert Dewar | 2010-06-23 | 1 | -2/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -11/+15 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -2/+2 |
* | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | Jakub Jelinek | 2009-04-09 | 1 | -13/+11 |
* | impunit.adb: Re-organize System.Random_Numbers and GNAT.Random_Numbers and ad... | Paul Hilfinger | 2007-08-14 | 1 | -0/+148 |