messages from 2010-05-30 09:30:29 to 2010-06-07 07:48:43 UTC [more...]
Ada noob here! Is Ada widely used?
2010-06-07 7:48 UTC (80+ messages)
Why is Ada considered "too specialized" for scientific use
2010-06-07 6:15 UTC (31+ messages)
Press Release - Reliable Software Technologies, Ada-Europe 2010
2010-06-06 21:12 UTC
ANN: Ahven 1.8
2010-06-06 17:48 UTC (14+ messages)
Ada requires too much typing!
2010-06-06 12:04 UTC (13+ messages)
Request for parallel computing books in comp.parallel
2010-06-06 1:36 UTC (12+ messages)
Dynamically tagged expression not allowed. Why?
2010-06-05 18:47 UTC (10+ messages)
Simple hack to get $500 to your home
2010-06-05 13:43 UTC
GNAT packages in Linux distributions
2010-06-04 17:34 UTC (31+ messages)
Ada requires too much typing!
2010-06-04 13:54 UTC (13+ messages)
SPARK : surprising failure with implication
2010-06-03 16:45 UTC (11+ messages)
Lost in translation (with SPARK user rules)
2010-06-03 2:44 UTC (17+ messages)
Child vs nested package : efficiency matter
2010-06-02 20:35 UTC (16+ messages)
` -gnatN breakage was: "
Shared library project
2010-06-02 12:02 UTC (4+ messages)
Two miscellaneous questions about GPS : Ada indentation and then SPARK integration
2010-06-02 8:55 UTC (4+ messages)
ANN: VC_View 2.1.1 is Linux compatible
2010-06-01 16:59 UTC
SPARK: What does it prove?
2010-05-31 23:36 UTC (6+ messages)
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