From: Shark8 <onewingedshark@gmail.com>
Subject: Re: "Ada not ADA": One more example
Date: Wed, 26 Jan 2011 15:00:08 -0800 (PST)
Date: 2011-01-26T15:00:08-08:00 [thread overview]
Message-ID: <f03055c6-b012-49ae-b7aa-3bb27340c519@r40g2000prh.googlegroups.com> (raw)
In-Reply-To: 15a1a1d3-400e-4d33-8c4d-4a5bdd9e3de6@fx12g2000vbb.googlegroups.com
On Jan 26, 11:09 am, okellogg <okell...@users.sourceforge.net> wrote:
> Adding tohttps://groups.google.com/group/comp.lang.ada/browse_thread/thread/86...
> , I found this -
>
> ADA & SPARK Team-Up!http://www.sparkpe.org/ada-spark/
>
> -- Oliver [in a not-so-serious mood]
And here I thought that SPARK was a subset of Ada.
;)
next prev parent reply other threads:[~2011-01-26 23:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-26 18:09 "Ada not ADA": One more example okellogg
2011-01-26 23:00 ` Shark8 [this message]
2011-01-27 8:55 ` Maciej Sobczak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox