From: "Jeffrey R. Carter" <jrcarter@acm.org>
Subject: PragmAda Announcements
Date: Fri, 31 Jul 2009 15:08:56 -0700 (PDT)
Date: 2009-07-31T15:08:56-07:00 [thread overview]
Message-ID: <1edce535-ba72-46e8-95b5-2c994b7e3761@i4g2000prm.googlegroups.com> (raw)
1. The PragmAda Software Engineering web site has moved. You may now
find it at
http://pragmada.x10hosting.com/
2. The e-mail address for PragmAda has also changed. It is now
pragmada@pragmada.x10hosting.com
3. There is a new, source-only version of Mine Detector. V6.0 is
functionally identical to V5.0, but builds with GtkAda 2.8, 2.10, and
2.14 (tested on Linux only). Thanks to Pascal Malaise and Björn
Persson
for suggestions about the changes needed. The actual changes in V6.0
were made by Pascal Malaise.
Mine Detector is at
http://pragmada.x10hosting.com/mindet.html
--
Jeffrey R. Carter, President
PragmAda Software Engineering
reply other threads:[~2009-07-31 22:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox