messages from 2010-05-26 20:56:38 to 2010-06-04 12:59:59 UTC [more...]
Ada noob here! Is Ada widely used?
2010-06-04 12:59 UTC (38+ messages)
` Ada compilers written in ... (was: Re: Ada noob here! Is Ada widely used?)
Ada requires too much typing!
2010-06-04 11:40 UTC (22+ messages)
Request for parallel computing books in comp.parallel
2010-06-04 11:21 UTC (8+ messages)
ANN: Ahven 1.8
2010-06-04 9:17 UTC (5+ messages)
GNAT packages in Linux distributions
2010-06-03 22:29 UTC (31+ messages)
SPARK : surprising failure with implication
2010-06-03 16:45 UTC (11+ messages)
Dynamically tagged expression not allowed. Why?
2010-06-03 16:03 UTC (9+ messages)
Lost in translation (with SPARK user rules)
2010-06-03 2:44 UTC (46+ messages)
` SPARK and testing. Was: "
` SPARK and testing
` Sockets package in SPARK (Was: Lost in translation (with SPARK user rules))
` Sockets package in SPARK
Child vs nested package : efficiency matter
2010-06-02 20:35 UTC (17+ messages)
` -gnatN breakage was: "
Ada requires too much typing!
2010-06-02 13:09 UTC (11+ messages)
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 (11+ messages)
PLAY SEXY GAMES
2010-05-30 4:00 UTC
Emacs and long file names
2010-05-29 17:15 UTC (21+ messages)
AIRLINES JOBS
2010-05-29 13:22 UTC
SPARK and modular types
2010-05-29 12:06 UTC
UK GIRLS
2010-05-29 8:36 UTC
UK GIRLS
2010-05-29 8:36 UTC
SPARK again : for-loop vs single loop - a strange case
2010-05-28 22:52 UTC (12+ messages)
Think you can optimize real-time software? prove it at Ada Europe and win an iPod Touch!
2010-05-28 13:56 UTC (2+ messages)
Spark, pragma
2010-05-28 13:09 UTC (6+ messages)
Ada noob here! Is Ada widely used?
2010-05-26 21:35 UTC (9+ 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