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