Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2011-11-07 | 1 | -7/+7 |
* | [multiple changes] | Arnaud Charlet | 2011-11-07 | 1 | -0/+12 |
* | [multiple changes] | Arnaud Charlet | 2011-09-19 | 1 | -0/+25 |
* | [multiple changes] | Arnaud Charlet | 2011-09-01 | 1 | -0/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -0/+3 |
* | a-cdlili.adb, [...]: Minor reformatting. | Robert Dewar | 2011-08-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -0/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -1/+21 |
* | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -0/+15 |
* | gnat_rm.texi: Document new pragma and aspect. | Yannick Moy | 2011-08-04 | 1 | -1/+11 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -98/+101 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -3/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-01 | 1 | -2/+41 |
* | [multiple changes] | Arnaud Charlet | 2011-08-01 | 1 | -2/+65 |
* | aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition. | Robert Dewar | 2011-08-01 | 1 | -27/+38 |
* | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 2011-08-01 | 1 | -1/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-01 | 1 | -43/+37 |
* | Fix typos in gcc/ada. | Ralf Wildenhues | 2010-12-20 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2010-10-18 | 1 | -2/+10 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -14/+24 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -21/+54 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -0/+161 |