projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 151af7d) | patch
[Ada] Update description of restriction SPARK_05 with SPARK 2014
authorYannick Moy <moy@adacore.com>
Thu, 11 Jan 2018 08:52:12 +0000 (08:52 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jan 2018 08:52:12 +0000 (08:52 +0000)
commita5b2e4408ca5b9471e7d901b1baacf0fa9003496
tree93384fd1e900c56edcdecaeb50c6fcfaab16ecc0tree
parent151af7d208dbfd34df6d8e28aab78175f49bcce9commit | diff
[Ada] Update description of restriction SPARK_05 with SPARK 2014

2018-01-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
Update description of restriction SPARK_05 with SPARK 2014.
* gnat_rm.texi: Regenerate.

From-SVN: r256498
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history