From: roderick.chapman@googlemail.com
Subject: ANN: Tokeneer material available
Date: Mon, 6 Oct 2008 05:38:27 -0700 (PDT)
Date: 2008-10-06T05:38:27-07:00 [thread overview]
Message-ID: <8fdd81e7-1d69-4f7a-9ebd-2e59c1bc7cde@y29g2000hsf.googlegroups.com> (raw)
I'm pleased to announce the immediate availability of the
Tokeneer project material. Please see
www.adacore.com/tokeneer
All the best,
Rod Chapman, SPARK Team, Praxis
next reply other threads:[~2008-10-06 12:38 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-06 12:38 roderick.chapman [this message]
2008-10-06 12:47 ` ANN: Tokeneer material available Niklas Holsti
2008-10-06 13:02 ` roderick.chapman
2008-10-07 5:16 ` Jerry
2008-10-08 0:46 ` Marc A. Criley
2008-10-11 11:44 ` Marco
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox