projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e290c5) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 20 Nov 2014 15:43:06 +0000 (16:43 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 20 Nov 2014 15:43:06 +0000 (16:43 +0100)
commit1e2d79e2b3c249697931b6bd0ea93f0a4091c2e6
tree60df956cf8090cac82b7f84da5366506e3f64542tree
parent0e290c54ec1dcc5ca0c5091b8ccc85cc696d7336commit | diff
[multiple changes]

2014-11-20  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb: Minor reformatting.

2014-11-20  Jerome Lambourg  <lambourg@adacore.com>

* s-osinte-vxworks.ads: Add comments. Minor reformatting.

2014-11-20  Yannick Moy  <moy@adacore.com>

* sem_prag.adb, sem_elab.adb: Minor rewording of error message in
SPARK mode, for consistency.

From-SVN: r217876
gcc/ada/ChangeLog diff | blob | history
gcc/ada/s-osinte-vxworks.ads diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_elab.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history