Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | jakub | 2009-04-09 | 1 | -13/+11 |
* | 2007-12-06 Robert Dewar <dewar@adacore.com> | charlet | 2007-12-13 | 1 | -14/+13 |
* | 2007-08-14 Paul Hilfinger <hilfinger@adacore.com> | charlet | 2007-08-14 | 1 | -0/+141 |