gcc-wwwdocs branch master updated. 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa

gcc-wwwdocs branch master updated. 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa

[Arnaud Charlet]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa (commit)
      from  9f9c0a8589c2df97cedf7720f3595c58d5143ce0 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Tue Apr 12 08:51:28 2022 +0000

    Further edit Ada changes for GCC 12

diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html
index 91397cf5..3c7a3649 100644
--- a/htdocs/gcc-12/changes.html
+++ b/htdocs/gcc-12/changes.html
@@ -191,12 +191,9 @@ a work-in-progress.</p>
       2022 compliance. The old <code>-gnat2020</code> flag is now
       deprecated.</li>
     <li>Support for Big Numbers (Annex G) has seen continuous
-      improvements. It is now cosidered complete. It is also proven to
-      be correct through the use of contracts and SPARK.</li>
-    <li>Continuous improvements to the Ada 2022 standard since GCC
-      11. The main missing feature is support for the new
-      <code>parallel</code> keyword. However, some initial support has
-      already been put in place.</li>
+      improvements. It is now considered complete. It is compatible with
+      SPARK, i.e. can be used from SPARK code.</li>
+    <li>Continuous improvements to the Ada 2022 standard since GCC 11.</li>
     <li>Greatly improved compile time support. More functions can now
       have the <code>with Static</code> aspect and can be used in more
       contexts.</li>

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gcc-12/changes.html | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs