| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [multiple changes] | Arnaud Charlet | 2011-10-24 | 1 | -0/+5 |
| * | [multiple changes] | Arnaud Charlet | 2011-10-06 | 1 | -5/+5 |
| * | [multiple changes] | Arnaud Charlet | 2011-09-27 | 1 | -0/+5 |
| * | usage.adb, [...]: Disable by default warnings on suspicious contracts, and en... | Yannick Moy | 2011-09-02 | 1 | -2/+2 |
| * | [multiple changes] | Arnaud Charlet | 2011-09-02 | 1 | -0/+6 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -3/+3 |
| * | opt.ads, [...]: Update comment. | Robert Dewar | 2011-08-30 | 1 | -13/+12 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-30 | 1 | -0/+8 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -2/+2 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -1/+1 |
| * | a-cbmutr.adb: Minor reformatting | Robert Dewar | 2011-08-05 | 1 | -0/+10 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -0/+4 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -15/+7 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -4/+0 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -3/+0 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -13/+0 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -0/+8 |
| * | bindgen.adb, [...]: Minor reformatting | Robert Dewar | 2011-08-04 | 1 | -1/+1 |
| * | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 2011-08-02 | 1 | -4/+1 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -2/+1 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -0/+2 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -0/+7 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -16/+0 |
| * | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 2011-08-01 | 1 | -13/+11 |
| * | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 2011-08-01 | 1 | -0/+16 |
| * | [multiple changes] | Arnaud Charlet | 2011-08-01 | 1 | -0/+28 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -1/+3 |
| * | opt.ads: Move documentation on checksum stuff here from prj-nmsc | Robert Dewar | 2010-10-26 | 1 | -20/+50 |
| * | opt.ads (Checksum_Accumulate_Token_Checksum): New Boolean flag, defaulted to ... | Vincent Celier | 2010-10-26 | 1 | -5/+18 |
| * | opt.ads (Old_Checksums, [...]): New Boolean flags, defaulted to False. | Vincent Celier | 2010-10-26 | 1 | -0/+7 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -2/+7 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -18/+18 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-19 | 1 | -2/+8 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-19 | 1 | -3/+3 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-19 | 1 | -4/+4 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-18 | 1 | -0/+16 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -0/+5 |
| * | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 2010-10-11 | 1 | -5/+4 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -4/+3 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-07 | 1 | -0/+3 |
| * | [multiple changes] | Arnaud Charlet | 2010-10-07 | 1 | -0/+6 |
| * | [multiple changes] | Arnaud Charlet | 2010-09-10 | 1 | -0/+14 |
| * | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -0/+1 |
| * | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -0/+8 |
| * | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -0/+6 |
| * | a-chahan.ads: Add comments on handling of obsolescent entries. | Robert Dewar | 2010-08-10 | 1 | -0/+4 |
| * | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -7/+5 |
