public inbox for gcc-cvs-wwwdocs@sourceware.org help / color / mirror / Atom feed
From: Arnaud Charlet <charlet@sourceware.org> To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 3ef70e31b37efaa93cff05c4c9175e15f6bdd7aa Date: Tue, 12 Apr 2022 08:52:14 +0000 (GMT) [thread overview] Message-ID: <20220412085214.39521385842E@sourceware.org> (raw) 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
reply other threads:[~2022-04-12 8:52 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20220412085214.39521385842E@sourceware.org \ --to=charlet@sourceware.org \ --cc=gcc-cvs-wwwdocs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).