From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: text_io.Put_line behaviour on failure
Date: Fri, 4 Dec 2015 07:12:45 -0800 (PST)
Date: 2015-12-04T07:12:45-08:00 [thread overview]
Message-ID: <ff9305c7-628e-4c77-9684-8363cbfd2d8f@googlegroups.com> (raw)
In-Reply-To: <77de5ee0-3ae1-4bad-ac44-e61619c126b0@googlegroups.com>
See the highly classified documentation at this secret place:
Ada Reference Manual http://ada-auth.org/arm.html
For instance A.13
next prev parent reply other threads:[~2015-12-04 15:12 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-04 14:43 text_io.Put_line behaviour on failure pettylarsony
2015-12-04 15:12 ` AdaMagica [this message]
2015-12-04 15:27 ` G.B.
2015-12-04 18:57 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox