projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb1fdf7) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 21 Jan 2014 16:24:37 +0000 (17:24 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 21 Jan 2014 16:24:37 +0000 (17:24 +0100)
commit497716fecf8c610d672576c71ca435e804f04f4a
treef97aa947f39162939211a085f99744aaaf9cde5atree | snapshot
parentfb1fdf7d6bbcb4728c13d14987acfa97b1cda03dcommit | diff
[multiple changes]

2014-01-21  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_External_Property): Add processing for "others".
(Analyze_Pragma): Update the grammar of pragma Abstract_State to
include "others".

2014-01-21  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Minor updates.

From-SVN: r206889
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;