Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-02-05 | g-rannum.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+0 |
2015-02-05 | opt.ads (Warn_On_Suspicious_Contract): Update comment describing use. | Yannick Moy | 1 | -2/+8 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+20 |
2009-04-09 | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | Jakub Jelinek | 1 | -13/+11 |
2007-12-13 | xeinfo.adb: Remove warnings | Robert Dewar | 1 | -14/+13 |
2007-08-14 | impunit.adb: Re-organize System.Random_Numbers and GNAT.Random_Numbers and ad... | Paul Hilfinger | 1 | -0/+141 |