Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -3/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -17/+82 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -13/+14 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-01-04 | exp_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+3 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+25 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -4/+24 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+34 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+12 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -46/+55 |
2012-10-29 | freeze.adb: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2012-10-05 | [multiple changes] | Arnaud Charlet | 1 | -19/+39 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-10-02 | exp_ch7.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+5 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2012-07-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2012-07-30 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-07-23 | layout.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+2 |
2012-07-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -8/+23 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -9/+7 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -14/+25 |
2012-07-16 | exp_pakd.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -8/+8 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+81 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -5/+3 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -21/+40 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -1/+27 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -10/+11 |
2012-06-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2012-06-14 | [multiple changes] | Arnaud Charlet | 1 | -12/+19 |
2012-06-14 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2012-06-14 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -36/+19 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -15/+25 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -9/+7 |
2012-03-30 | freeze.adb (Freeze_Record_Type): For a type with reversed bit order and rever... | Thomas Quinot | 1 | -1/+9 |
2012-03-09 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |