From: Paul Colin Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 18:04:34 +0000
Date: 2011-02-18T18:04:34+00:00 [thread overview]
Message-ID: <alpine.LNX.2.00.1102181803220.7358@Bluewhite64.example.net> (raw)
In-Reply-To: <m2k4gx2t1d.fsf@pushface.org>
Simon Wright <simon@pushface.org> sent on February 18th, 2011:
|----------------------------------------------------------------------|
|"Paul Colin Gloster <Colin_Paul_Gloster@ACM.org> writes: |
| |
|[..] |
|> Do you really have something like that? You cannot WITH a procedure.|
| |
|Yes you can. |
| |
|[..]" |
|----------------------------------------------------------------------|
I was mistaken. Sorry.
next prev parent reply other threads:[~2011-02-18 18:04 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-18 8:58 Is the Ada compiler of Polyspace invalid? Julian Leyh
2011-02-18 9:40 ` Martin
2011-02-21 8:32 ` Julian Leyh
2011-02-21 15:54 ` Adam Beneschan
2011-02-18 16:27 ` Paul Colin Gloster
2011-02-18 16:42 ` Simon Wright
2011-02-18 18:04 ` Paul Colin Gloster [this message]
2011-02-18 16:43 ` Adam Beneschan
2011-02-18 17:08 ` Martin
2011-02-18 16:50 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox