Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2009-10-30 | 1 | -5/+5 |
* | sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal. | Thomas Quinot | 2009-04-10 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2009-04-10 | 1 | -10/+16 |
* | Makefile.in: (stamp-tools): Add handling of snames.ad[sb] | Arnaud Charlet | 2009-04-10 | 1 | -0/+266 |