[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Feb 2013 10:49:34 +0000 (11:49 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Feb 2013 10:49:34 +0000 (11:49 +0100)
commitf403355afb84e58c73c83329b18bac3bc24f336c
treee869984ad6c16eaaeb7517b98fd87ac9eaa153ea
parenta75ea2953b2cc328db203807fd769f17bcd4c476
[multiple changes]

2013-02-06  Arnaud Charlet  <charlet@adacore.com>

* gnat_rm.texi: Fix typos.

2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* sem_prag.adb: Minor reformatting.

2013-02-06  Pascal Obry  <obry@adacore.com>

* s-tasloc.ads: Set System.Task_Lock to preelaborate.

From-SVN: r195800
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/s-tasloc.ads
gcc/ada/sem_prag.adb