2013-02-06 Arnaud Charlet <charlet@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Feb 2013 10:49:34 +0000 (10:49 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Feb 2013 10:49:34 +0000 (10:49 +0000)
commite224e8e6b810702d4286384b2c9a43f5cd7b63fb
treee869984ad6c16eaaeb7517b98fd87ac9eaa153ea
parent78c84094b57e1b4efb51e70b3251322efeee8324
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195800 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/s-tasloc.ads
gcc/ada/sem_prag.adb