projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f90d14a) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 29 Jan 2014 15:20:44 +0000 (16:20 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 29 Jan 2014 15:20:44 +0000 (16:20 +0100)
commitcf3e6845fd41439d52fb06791dbf13785be3db75
treef57ee8285d7052f73d6f9d070256780b506b4f8btree
parentf90d14ac693f4eb59f54cc6f534555de2efa83ddcommit | diff
[multiple changes]

2014-01-29  Robert Dewar  <dewar@adacore.com>

* sem_ch7.adb, sem_prag.adb, sem_ch4.adb, sem_ch6.adb: Minor code
reorganization.

2014-01-29  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi: Update description of SPARK_Mode pragma.

2014-01-29  Tristan Gingold  <gingold@adacore.com>

* exp_ch9.adb (Expand_N_Protected_Body): Remove Num_Entries.

From-SVN: r207243
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_ch9.adb diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_ch7.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history