public inbox for gcc-prs@sourceware.org help / color / mirror / Atom feed
From: Geert Bosch <bosch@gnat.com> To: bje@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, Subject: Re: ada/9406: Documentation suggestion Date: Sun, 23 Feb 2003 14:56:00 -0000 [thread overview] Message-ID: <20030223145600.15195.qmail@sources.redhat.com> (raw) The following reply was made to PR ada/9406; it has been noted by GNATS. From: Geert Bosch <bosch@gnat.com> To: Simon Wright <simon@pushface.org> Cc: bosch@gcc.gnu.org, bje@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: ada/9406: Documentation suggestion Date: Sun, 23 Feb 2003 09:51:23 -0500 On Sunday, Feb 23, 2003, at 07:16 America/New_York, Simon Wright wrote: > Now (3) and (4) *cannot be right* because this is in a section where > *there is no ada main program*, OK? > ... > I see your point about partitions though I must say it was far from > obvious that I should be looking there. Perhaps the UM should have a > reference to the RM. I now see what you mean. I agree that the language here could be improved. Actually, the language from the Ada RM that I quoted seems to be pretty clear, so I think we should borrow from that or indeed put in a link (or both). -Geert
next reply other threads:[~2003-02-23 14:56 UTC|newest] Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top 2003-02-23 14:56 Geert Bosch [this message] -- strict thread matches above, loose matches on Subject: below -- 2003-02-27 14:16 Ben Elliston 2003-02-23 12:26 Simon Wright 2003-02-20 22:46 Geert Bosch 2003-02-20 21:46 Simon Wright 2003-02-19 20:56 bosch 2003-02-18 14:06 bje 2003-02-18 12:09 bje 2003-01-22 20:56 simon
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=20030223145600.15195.qmail@sources.redhat.com \ --to=bosch@gnat.com \ --cc=bje@gcc.gnu.org \ --cc=gcc-prs@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).