2015-02-05 | Robert Dewar | g-rannum.adb, [...]: Minor reformatting. | blob | commitdiff | raw |
2015-02-05 | Yannick Moy | opt.ads (Warn_On_Suspicious_Contract): Update comment... | blob | commitdiff | raw | diff to current |
2014-01-24 | Arnaud Charlet | [multiple changes] | blob | commitdiff | raw | diff to current |
2010-06-23 | Robert Dewar | sem_ch6.adb, [...]: Minor reformatting. | blob | commitdiff | raw | diff to current |
2010-06-22 | Arnaud Charlet | [multiple changes] | blob | commitdiff | raw | diff to current |
2010-06-22 | Arnaud Charlet | [multiple changes] | blob | commitdiff | raw | diff to current |
2009-04-09 | Jakub Jelinek | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime... | blob | commitdiff | raw | diff to current |
2007-08-14 | Paul Hilfinger | impunit.adb: Re-organize System.Random_Numbers and... | blob | commitdiff | raw | diff to current |