Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Houston, Tranquillity Base here. The Eagle has landed. -- Neil Armstrong


devel / comp.lang.ada / Ada distilled 2012

SubjectAuthor
* Ada distilled 2012DrPi
+* Re: Ada distilled 2012Jeffrey R.Carter
|+* Re: Ada distilled 2012DrPi
||+- Re: Ada distilled 2012Dmitry A. Kazakov
||`* Re: Ada distilled 2012Jeffrey R.Carter
|| `* Re: Ada distilled 2012DrPi
||  `* Re: Ada distilled 2012Dirk Craeynest
||   +- Re: Ada distilled 2012DrPi
||   `- Re: Ada distilled 2012Tihanyi Péter
|`- Re: Ada distilled 2012Paul Rubin
`* Re: Ada distilled 2012Dmitry A. Kazakov
 `* Re: Ada distilled 2012DrPi
  `* Re: Ada distilled 2012Dmitry A. Kazakov
   `- Re: Ada distilled 2012DrPi

1
Ada distilled 2012

<u06pqn$p6n$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9436&group=comp.lang.ada#9436

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Ada distilled 2012
Date: Fri, 31 Mar 2023 16:13:40 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u06pqn$p6n$1@shakotay.alphanet.ch>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 31 Mar 2023 14:13:43 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="25815"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:x92ZC3sevKY7CyXbkU1pWmAnIMYypcLLGYGJxbn/DH4=
Content-Language: en-GB
 by: DrPi - Fri, 31 Mar 2023 14:13 UTC

Hi,

Ada distilled 2012 is on Amazon :
https://www.amazon.com/Ada-Distilled-ISO-2012-Standard-ebook/dp/B09C42PCMQ

I have no problem buying it but I don't want a kiddle format.
Anyone knows of a pdf format somewhere ?

Nicolas

Re: Ada distilled 2012

<u07679$1bs8f$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9437&group=comp.lang.ada#9437

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: spam.jrcarter.not@spam.acm.org.not (Jeffrey R.Carter)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Fri, 31 Mar 2023 19:45:13 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <u07679$1bs8f$1@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 31 Mar 2023 17:45:13 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ee859c15d9091305aaefa56f200b6fba";
logging-data="1437967"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Ey2mFiCa/tWQMt4GT9BWXGbn/RVVbZLQ="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.9.0
Cancel-Lock: sha1:DVEo0geJJMD3IkjexoxlBIeSDhc=
In-Reply-To: <u06pqn$p6n$1@shakotay.alphanet.ch>
Content-Language: en-US
 by: Jeffrey R.Carter - Fri, 31 Mar 2023 17:45 UTC

On 2023-03-31 16:13, DrPi wrote:
>
> Ada distilled 2012 is on Amazon :
> https://www.amazon.com/Ada-Distilled-ISO-2012-Standard-ebook/dp/B09C42PCMQ

and has been for a while

> I have no problem buying it but I don't want a kiddle format.
> Anyone knows of a pdf format somewhere ?

AFAIK, it is only available for Kindle. You could try contacting Riehle directly.

--
Jeff Carter
"[M]any were collected near them, ... to
enjoy the sight of a dead young lady, nay,
two dead young ladies, for it proved twice
as fine as the first report."
Persuasion
155

Re: Ada distilled 2012

<u091bh$o1s$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9441&group=comp.lang.ada#9441

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 12:34:22 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u091bh$o1s$1@shakotay.alphanet.ch>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u07679$1bs8f$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 10:34:25 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="24636"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:ISpXRWpVhz8+4T4SPT40hgsQF8Foq7Co3Oep3LNS0xk=
Content-Language: en-GB
In-Reply-To: <u07679$1bs8f$1@dont-email.me>
 by: DrPi - Sat, 1 Apr 2023 10:34 UTC

Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
> On 2023-03-31 16:13, DrPi wrote:
>>
>> Ada distilled 2012 is on Amazon :
>> https://www.amazon.com/Ada-Distilled-ISO-2012-Standard-ebook/dp/B09C42PCMQ
>
> and has been for a while
Sure.
>
>> I have no problem buying it but I don't want a kiddle format.
>> Anyone knows of a pdf format somewhere ?
>
> AFAIK, it is only available for Kindle. You could try contacting Riehle
> directly.
>
I would if I knew how to do it.

Re: Ada distilled 2012

<u093a9$1qrr0$2@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9442&group=comp.lang.ada#9442

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 13:07:55 +0200
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <u093a9$1qrr0$2@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u07679$1bs8f$1@dont-email.me>
<u091bh$o1s$1@shakotay.alphanet.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 11:07:54 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b15f95e3b4f9ee51921a6d1734ab24fb";
logging-data="1929056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19iW9ycfbgYg6cZ2lX4kS6Xt0J7Hsw9BgQ="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha1:D/7IXCpyZRjOMVT9eLQSsHCHQqQ=
In-Reply-To: <u091bh$o1s$1@shakotay.alphanet.ch>
Content-Language: en-US
 by: Dmitry A. Kazakov - Sat, 1 Apr 2023 11:07 UTC

On 2023-04-01 12:34, DrPi wrote:
> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :

>> AFAIK, it is only available for Kindle. You could try contacting
>> Riehle directly.
>>
> I would if I knew how to do it.

Richard is present and active in LinkedIn:

https://www.linkedin.com/in/richard-riehle-phd-4541178

Try to connect to him.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Ada distilled 2012

<u093nd$1qrr0$3@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9443&group=comp.lang.ada#9443

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 13:14:54 +0200
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <u093nd$1qrr0$3@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 1 Apr 2023 11:14:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b15f95e3b4f9ee51921a6d1734ab24fb";
logging-data="1929056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX188vyg4+ssh1WIovCAsrZcXIC0ZauFHp3c="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha1:4AwGTyokOV4ETs5V9WvKOPJ9A0E=
Content-Language: en-US
In-Reply-To: <u06pqn$p6n$1@shakotay.alphanet.ch>
 by: Dmitry A. Kazakov - Sat, 1 Apr 2023 11:14 UTC

On 2023-03-31 16:13, DrPi wrote:

> I have no problem buying it but I don't want a kiddle format.
> Anyone knows of a pdf format somewhere ?

There is nothing wrong with MOBI or, maybe, you mean AZW?

Anyway, you can install Calibre. It has an integrated format conversion
tool and plug-ins to remove DRM (e.g. by conversion AZW to MOBI). Unless
you blindly trust Amazon services... otherwise archive and backup your
library.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Ada distilled 2012

<u096ff$1rus3$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9444&group=comp.lang.ada#9444

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: spam.jrcarter.not@spam.acm.org.not (Jeffrey R.Carter)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 14:01:51 +0200
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <u096ff$1rus3$1@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u07679$1bs8f$1@dont-email.me>
<u091bh$o1s$1@shakotay.alphanet.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 12:01:51 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="4bc4b6229e41db33aa758349e302a0bc";
logging-data="1964931"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gENuECje3jpVIWlSkWwVlVovgwMySrig="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.9.0
Cancel-Lock: sha1:lfJqNX3JHl7AzBKdSb9Xvh3GSFk=
Content-Language: en-US
In-Reply-To: <u091bh$o1s$1@shakotay.alphanet.ch>
 by: Jeffrey R.Carter - Sat, 1 Apr 2023 12:01 UTC

On 2023-04-01 12:34, DrPi wrote:
> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
>>
>> You could try contacting Riehle directly.
>>
> I would if I knew how to do it.

I have 2 e-mail addresses for him. I wouldn't want to post them publicly here.
Is your posting address valid?

--
Jeff Carter
"These attributes [of Ada] allowed our experimental code
to be developed surprisingly rapidly."
Scott and Bagheri
162

Re: Ada distilled 2012

<u097gm$j3i$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9446&group=comp.lang.ada#9446

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 14:19:31 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u097gm$j3i$1@shakotay.alphanet.ch>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u07679$1bs8f$1@dont-email.me>
<u091bh$o1s$1@shakotay.alphanet.ch> <u096ff$1rus3$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 12:19:34 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="19570"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:+HTsq+W5wyIVUoRbQIG7ekDdDwOqmhnXkcWalDMRhWM=
Content-Language: en-GB
In-Reply-To: <u096ff$1rus3$1@dont-email.me>
 by: DrPi - Sat, 1 Apr 2023 12:19 UTC

Le 01/04/2023 à 14:01, Jeffrey R.Carter a écrit :
> On 2023-04-01 12:34, DrPi wrote:
>> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
>>>
>>> You could try contacting Riehle directly.
>>>
>> I would if I knew how to do it.
>
> I have 2 e-mail addresses for him. I wouldn't want to post them publicly
> here. Is your posting address valid?
>
It is.

Re: Ada distilled 2012

<u0988d$lt9$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9448&group=comp.lang.ada#9448

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 14:32:10 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u0988d$lt9$1@shakotay.alphanet.ch>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u093nd$1qrr0$3@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 12:32:13 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="22441"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:h+iP7jBj02OE4YjhkWLIJyMhZn2Cj/kx3edqGAnh0eA=
Content-Language: en-GB
In-Reply-To: <u093nd$1qrr0$3@dont-email.me>
 by: DrPi - Sat, 1 Apr 2023 12:32 UTC

Le 01/04/2023 à 13:14, Dmitry A. Kazakov a écrit :
> On 2023-03-31 16:13, DrPi wrote:
>
>> I have no problem buying it but I don't want a kiddle format.
>> Anyone knows of a pdf format somewhere ?
>
> There is nothing wrong with MOBI or, maybe, you mean AZW?
>
I try to avoid Amazon as much as possible. The Kindle ecosystem is terrible.

> Anyway, you can install Calibre. It has an integrated format conversion
> tool and plug-ins to remove DRM (e.g. by conversion AZW to MOBI). Unless
> you blindly trust Amazon services... otherwise archive and backup your
> library.
>
If there is a simpler solution, I get it ;)

Re: Ada distilled 2012

<u09a6b$1qrr0$4@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9449&group=comp.lang.ada#9449

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 15:05:17 +0200
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <u09a6b$1qrr0$4@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u093nd$1qrr0$3@dont-email.me>
<u0988d$lt9$1@shakotay.alphanet.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 13:05:16 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b15f95e3b4f9ee51921a6d1734ab24fb";
logging-data="1929056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19YRHRbgS6EQCpbmDcrDDsRB6QZFnxWO5Q="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha1:+2iTNI8aeM7pklEzX+C+5c9icV4=
In-Reply-To: <u0988d$lt9$1@shakotay.alphanet.ch>
Content-Language: en-US
 by: Dmitry A. Kazakov - Sat, 1 Apr 2023 13:05 UTC

On 2023-04-01 14:32, DrPi wrote:
> Le 01/04/2023 à 13:14, Dmitry A. Kazakov a écrit :

>> Anyway, you can install Calibre. It has an integrated format
>> conversion tool and plug-ins to remove DRM (e.g. by conversion AZW to
>> MOBI). Unless you blindly trust Amazon services... otherwise archive
>> and backup your library.
>>
> If there is a simpler solution, I get it ;)

You need to manage the library anyway regardless where you get the
e-books. Calibre does pretty much everything one needs.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Ada distilled 2012

<u09csp$c7o$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9451&group=comp.lang.ada#9451

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 15:51:18 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u09csp$c7o$1@shakotay.alphanet.ch>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u093nd$1qrr0$3@dont-email.me>
<u0988d$lt9$1@shakotay.alphanet.ch> <u09a6b$1qrr0$4@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 13:51:21 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="12536"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:2s5aVMP9yjiNenivcS9UBxLdODPf+afZTmAC/56z7yU=
Content-Language: en-GB
In-Reply-To: <u09a6b$1qrr0$4@dont-email.me>
 by: DrPi - Sat, 1 Apr 2023 13:51 UTC

Le 01/04/2023 à 15:05, Dmitry A. Kazakov a écrit :
> On 2023-04-01 14:32, DrPi wrote:
>> Le 01/04/2023 à 13:14, Dmitry A. Kazakov a écrit :
>
>>> Anyway, you can install Calibre. It has an integrated format
>>> conversion tool and plug-ins to remove DRM (e.g. by conversion AZW to
>>> MOBI). Unless you blindly trust Amazon services... otherwise archive
>>> and backup your library.
>>>
>> If there is a simpler solution, I get it ;)
>
> You need to manage the library anyway regardless where you get the
> e-books. Calibre does pretty much everything one needs.
>
As I don't own a e-book device, I never tried Calibre.

Re: Ada distilled 2012

<u09f4e$1ukf3$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9452&group=comp.lang.ada#9452

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 14:29:34 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Lines: 20
Message-ID: <u09f4e$1ukf3$1@dont-email.me>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u091bh$o1s$1@shakotay.alphanet.ch> <u096ff$1rus3$1@dont-email.me> <u097gm$j3i$1@shakotay.alphanet.ch>
Injection-Date: Sat, 1 Apr 2023 14:29:34 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="a2acc33e5459a683fb7cf366cb65d1ad";
logging-data="2052579"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+5iiLLmhWuaaKE69r0s9FVfTLGl8ciSqM="
Cancel-Lock: sha1:YdL+tczRP9lbwZq6y27/N84KxuY=
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
 by: Dirk Craeynest - Sat, 1 Apr 2023 14:29 UTC

>>> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
>>>> You could try contacting Riehle directly.

>> On 2023-04-01 12:34, DrPi wrote:
>>> I would if I knew how to do it.

>Le 01/04/2023 à 14:01, Jeffrey R.Carter a écrit :
>> I have 2 e-mail addresses for him. I wouldn't want to post them
>> publicly here. Is your posting address valid?

In article <u097gm$j3i$1@shakotay.alphanet.ch>, DrPi <314@drpi.fr> wrote:
>It is.

Earlier today I was in contact with Richard. I mentioned your request,
and gave him your e-mail address. Feel free to contact me, if Richard
would not write to you shortly.

HTH

Dirk

Re: Ada distilled 2012

<u09m1d$mmk$1@shakotay.alphanet.ch>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9455&group=comp.lang.ada#9455

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.alphanet.ch!alphanet.ch!.POSTED!not-for-mail
From: 314@drpi.fr (DrPi)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Sat, 1 Apr 2023 18:27:20 +0200
Organization: Posted through news.alphanet.ch
Message-ID: <u09m1d$mmk$1@shakotay.alphanet.ch>
References: <u06pqn$p6n$1@shakotay.alphanet.ch>
<u091bh$o1s$1@shakotay.alphanet.ch> <u096ff$1rus3$1@dont-email.me>
<u097gm$j3i$1@shakotay.alphanet.ch> <u09f4e$1ukf3$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Apr 2023 16:27:26 -0000 (UTC)
Injection-Info: shakotay.alphanet.ch; posting-account="dr.pi";
logging-data="23252"; mail-complaints-to="usenet@alphanet.ch"; posting-host="bda8ab3c43e8ad8cb626bfebe8390999.nnrp.alphanet.ch"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.9.1
Cancel-Lock: sha256:fHTNuyTRe5RmxamcDy76Jd55DmWrur3ZHYHM4gxFVuk=
Content-Language: en-GB
In-Reply-To: <u09f4e$1ukf3$1@dont-email.me>
 by: DrPi - Sat, 1 Apr 2023 16:27 UTC

Le 01/04/2023 à 16:29, Dirk Craeynest a écrit :
>>>> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
>>>>> You could try contacting Riehle directly.
>
>>> On 2023-04-01 12:34, DrPi wrote:
>>>> I would if I knew how to do it.
>
>> Le 01/04/2023 à 14:01, Jeffrey R.Carter a écrit :
>>> I have 2 e-mail addresses for him. I wouldn't want to post them
>>> publicly here. Is your posting address valid?
>
> In article <u097gm$j3i$1@shakotay.alphanet.ch>, DrPi <314@drpi.fr> wrote:
>> It is.
>
> Earlier today I was in contact with Richard. I mentioned your request,
> and gave him your e-mail address. Feel free to contact me, if Richard
> would not write to you shortly.
>
> HTH

Thanks a lot Dirk.

Best,
Nicolas
>
> Dirk

Re: Ada distilled 2012

<87y1m7ee1x.fsf@nightsong.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9567&group=comp.lang.ada#9567

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: no.email@nospam.invalid (Paul Rubin)
Newsgroups: comp.lang.ada
Subject: Re: Ada distilled 2012
Date: Mon, 01 May 2023 18:07:38 -0700
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <87y1m7ee1x.fsf@nightsong.com>
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u07679$1bs8f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="4987220799d0b256cf54a966c8beb5ff";
logging-data="469133"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18vVC1fzCTsmXoXQpKYkSb8"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:I13OjD3EPhfVMzCkAiZOp8IQCoA=
sha1:p4BYcWzRqpGtIzXUtUPcexjLOvI=
 by: Paul Rubin - Tue, 2 May 2023 01:07 UTC

>> I have no problem buying it but I don't want a kiddle format.
>> Anyone knows of a pdf format somewhere ?
>
> AFAIK, it is only available for Kindle. You could try contacting
> Riehle directly.

I'd also be interested in a pdf or epub. I don't mind paying for the
file, but I don't use a Kindle and don't want to buy a download from
Amazon. It's not high priority for me so I'll just watch here in case
of updates.

Re: Ada distilled 2012

<b002fe29-5203-4a76-861e-75c325bb807fn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=10306&group=comp.lang.ada#10306

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:520b:b0:425:4dfa:fca7 with SMTP id dq11-20020a05622a520b00b004254dfafca7mr48360qtb.6.1702398545999;
Tue, 12 Dec 2023 08:29:05 -0800 (PST)
X-Received: by 2002:a05:6808:1a23:b0:3b9:dcfd:ec61 with SMTP id
bk35-20020a0568081a2300b003b9dcfdec61mr6252725oib.9.1702398545735; Tue, 12
Dec 2023 08:29:05 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 12 Dec 2023 08:29:05 -0800 (PST)
In-Reply-To: <u09f4e$1ukf3$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=94.248.144.103; posting-account=nSyVpgoAAAAaMPbzbpXeDn9gYc1-OphV
NNTP-Posting-Host: 94.248.144.103
References: <u06pqn$p6n$1@shakotay.alphanet.ch> <u091bh$o1s$1@shakotay.alphanet.ch>
<u096ff$1rus3$1@dont-email.me> <u097gm$j3i$1@shakotay.alphanet.ch> <u09f4e$1ukf3$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b002fe29-5203-4a76-861e-75c325bb807fn@googlegroups.com>
Subject: Re: Ada distilled 2012
From: piotr.tihanyi@gmail.com (Tihanyi Péter)
Injection-Date: Tue, 12 Dec 2023 16:29:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Tihanyi Péter - Tue, 12 Dec 2023 16:29 UTC

Dirk Craeynest ezt írta (2023. április 1., szombat, 16:29:37 UTC+2):
> >>> Le 31/03/2023 à 19:45, Jeffrey R.Carter a écrit :
> >>>> You could try contacting Riehle directly.
>
> >> On 2023-04-01 12:34, DrPi wrote:
> >>> I would if I knew how to do it.
> >Le 01/04/2023 à 14:01, Jeffrey R.Carter a écrit :
> >> I have 2 e-mail addresses for him. I wouldn't want to post them
> >> publicly here. Is your posting address valid?
> In article <u097gm$j3i$1...@shakotay.alphanet.ch>, DrPi <3...@drpi.fr> wrote:
> >It is.
>
> Earlier today I was in contact with Richard. I mentioned your request,
> and gave him your e-mail address. Feel free to contact me, if Richard
> would not write to you shortly.
>
> HTH
>
> Dirk

I bought the book "Ada Distilled: ISO 2012 standard". Unfortunately, the editing of the version I received from Amazon is terrible, in many places the editing completely falls apart. (I don't have a Kindle reader, I use the PC version.)
Richard Riehle on LinkedIn wrote that if someone asks for an updated version of the book in pdf format, he will send it to them via private message.
Unfortunately, I cannot contact him on LinkedIn, so I would like to ask for his help.
Many thanks!

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor