messages from 2010-06-11 03:14:15 to 2010-06-19 23:28:08 UTC [more...]
Question about SPARK flow error
2010-06-19 23:28 UTC (7+ messages)
Advice on selling Ada to a C shop
2010-06-19 23:01 UTC
Strategies with SPARK which does not support exceptions
2010-06-18 21:51 UTC (10+ messages)
Gnat GPL 2010 available soon
2010-06-18 19:48 UTC (4+ messages)
What Ada can do for Cryptography
2010-06-18 9:57 UTC
Simple hack to get $1500 to your home
2010-06-18 5:27 UTC
Subtypes boundaries
2010-06-17 19:53 UTC (13+ messages)
small example, using complex variables in Ada
2010-06-17 16:36 UTC (26+ messages)
More Ada in Cryptography
2010-06-17 8:47 UTC
Ada in Cryptography
2010-06-17 6:58 UTC
What is SPARK about?
2010-06-17 5:38 UTC (12+ messages)
Press Release - Ada-Europe launches Programming Contest
2010-06-16 22:56 UTC
Processing array subsections, a newbie question
2010-06-16 19:22 UTC (28+ messages)
Test; Please Ignore
2010-06-16 18:16 UTC
GNAT GPL 2009 and Vista
2010-06-16 12:17 UTC (2+ messages)
Slightly OT: Debian Community Poll
2010-06-16 7:36 UTC (19+ messages)
Ada in Cryptography
2010-06-16 7:11 UTC
What is the best way to convert Integer to Short_Short_Integer?
2010-06-16 1:27 UTC (17+ messages)
A Newbie to the group
2010-06-15 21:41 UTC (14+ messages)
GCC conflict on Ubuntu for mixed Ada/C++ project
2010-06-15 17:05 UTC (36+ messages)
` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
` Improving the first contact with Ada
Generic operation and prefixed notation
2010-06-15 1:14 UTC (4+ messages)
Ada related perl scripts update
2010-06-14 20:57 UTC (3+ messages)
Good news
2010-06-14 20:13 UTC (4+ messages)
2010 FIFA World Cup Barcelona jersey
2010-06-14 1:56 UTC
FYI -- Lunar lander project relies on SPARK programming language
2010-06-12 12:12 UTC (8+ messages)
what are some of the uses for ada?
2010-06-12 9:40 UTC (3+ messages)
REMINDER: approaching deadline (June 25, 2010) for SIGAda 2010 submissions
2010-06-11 19:57 UTC
Ada requires too much typing!
2010-06-11 18:38 UTC (35+ messages)
Generic package with dynamic subprogram name?
2010-06-11 12:19 UTC (6+ messages)
Simple hack to get $500 to your home
2010-06-11 4:22 UTC
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox