From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Introduction to Ada Programming, 2nd Edition
Date: Wed, 04 Jul 2018 21:47:39 -0700
Date: 2018-07-04T21:47:39-07:00 [thread overview]
Message-ID: <87601ujnkk.fsf@nightsong.com> (raw)
In-Reply-To: a5a91d95-64fa-4578-94de-cd2afb2a9599@googlegroups.com
Andrew Shvets <andrew.shvets@gmail.com> writes:
> In 2016, I published an introductory Ada book as an e-book. This time
> around, I have created a second version of this book
Hi Andrew, this looks nice. Can you say if it uses Ada 2012? Does the
part about proofs use Spark 2014? Thanks.
prev parent reply other threads:[~2018-07-05 4:47 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-30 3:23 Introduction to Ada Programming, 2nd Edition Andrew Shvets
2018-07-04 12:24 ` Olivier Henley
2018-07-04 12:34 ` Olivier Henley
2018-07-04 14:14 ` gerard.gaspard
2018-07-04 15:10 ` Bill Findlay
2018-07-04 15:58 ` Dmitry A. Kazakov
2018-07-04 23:15 ` Bill Findlay
2018-07-05 7:44 ` Dmitry A. Kazakov
2018-07-05 15:40 ` Bill Findlay
2018-07-06 8:38 ` G.B.
2018-07-05 1:08 ` Dan'l Miller
2018-07-05 13:47 ` Anatoly Chernyshev
2018-07-05 4:47 ` Paul Rubin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox