comp.lang.ada
 help / color / mirror / Atom feed
* ANN: Rockwell Collins selects SPARK Ada
@ 2006-02-28 15:26 Rod Chapman
  2006-02-28 15:33 ` Ed Falis
  0 siblings, 1 reply; 2+ messages in thread
From: Rod Chapman @ 2006-02-28 15:26 UTC (permalink / raw)


Both Ada enthusiasts and skeptics might be interested in:

  http://www.praxis-his.com/sparkada/pdfs/praxis_rockwell_final_pr.pdf

- Rod, SPARK Team




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: ANN: Rockwell Collins selects SPARK Ada
  2006-02-28 15:26 ANN: Rockwell Collins selects SPARK Ada Rod Chapman
@ 2006-02-28 15:33 ` Ed Falis
  0 siblings, 0 replies; 2+ messages in thread
From: Ed Falis @ 2006-02-28 15:33 UTC (permalink / raw)


On Tue, 28 Feb 2006 10:26:10 -0500, Rod Chapman  
<rod.chapman@praxis-his.com> wrote:

> Both Ada enthusiasts and skeptics might be interested in:
>
>   http://www.praxis-his.com/sparkada/pdfs/praxis_rockwell_final_pr.pdf
>
> - Rod, SPARK Team
>

Congrats!



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2006-02-28 15:33 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-02-28 15:26 ANN: Rockwell Collins selects SPARK Ada Rod Chapman
2006-02-28 15:33 ` Ed Falis

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