| commit | a95eadb2c33bb5a2153b1f5b5666432b72b60a25 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 20 Nov 2014 15:43:06 +0000 (20 15:43 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 20 Nov 2014 15:43:06 +0000 (20 15:43 +0000) | ||
| tree | 60df956cf8090cac82b7f84da5366506e3f64542 | treesnapshot (tar.gz zip) |
| parent | 88cdc451cd726495aceb7a7b21054348965beab8 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217876 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217876 138bc75d-0d04-0410-961f-82ee72b054a4