comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Slightly OT: Debian Community Poll
Date: Mon, 14 Jun 2010 16:01:35 +0200
Date: 2010-06-14T16:01:35+02:00	[thread overview]
Message-ID: <op.veamkxyjxmjfy8@garhos> (raw)
In-Reply-To: 462e855f-e444-455d-9df3-7cab6e88d23d@y11g2000yqm.googlegroups.com

Le Mon, 14 Jun 2010 14:37:38 +0200, Ludovic Brenta  
<ludovic@ludovic-brenta.org> a écrit:
> The Poll is available at http://tinyurl.com/3y33ska [12]. Torsten asks
Occasional users can fill the poll too or not ?
 From time to time, I use it on an USB drive and via Telnet for a server.
As I don't know, I will not fill the poll unless you confirm it's OK.

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.



  parent reply	other threads:[~2010-06-14 14:01 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-14 12:37 Slightly OT: Debian Community Poll Ludovic Brenta
2010-06-14 13:11 ` Georg Bauhaus
2010-06-14 14:01 ` Yannick Duchêne (Hibou57) [this message]
2010-06-14 14:13   ` Ludovic Brenta
2010-06-14 19:13 ` Dmitry A. Kazakov
2010-06-14 20:46   ` Ludovic Brenta
2010-06-14 22:41     ` Dmitry A. Kazakov
2010-06-14 23:25       ` Georg Bauhaus
2010-06-15  8:35         ` Dmitry A. Kazakov
2010-06-15  9:06           ` Ludovic Brenta
2010-06-15 12:20             ` Dmitry A. Kazakov
2010-06-15 13:56               ` Ludovic Brenta
2010-06-15 14:59                 ` Dmitry A. Kazakov
2010-06-15 15:30                   ` Ludovic Brenta
2010-06-15 16:44                     ` Dmitry A. Kazakov
2010-06-16  6:13                       ` Stephen Leake
2010-06-16  7:36                         ` Dmitry A. Kazakov
2010-06-15  6:23       ` Ludovic Brenta
2010-06-15  7:22         ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox