messages from 2010-05-24 18:01:49 to 2010-05-28 15:18:44 UTC [more...]
Emacs and long file names
2010-05-28 15:18 UTC (22+ messages)
SPARK again : for-loop vs single loop - a strange case
2010-05-28 15:13 UTC (9+ 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: What does it prove?
2010-05-28 13:55 UTC (2+ messages)
Spark, pragma
2010-05-28 13:09 UTC (6+ messages)
Lost in translation (with SPARK user rules)
2010-05-28 12:59 UTC (37+ messages)
` SPARK and testing. Was: "
` SPARK and testing
` Sockets package in SPARK (Was: Lost in translation (with SPARK user rules))
` Sockets package in SPARK
Ada requires too much typing!
2010-05-28 10:10 UTC (4+ messages)
Ada noob here! Is Ada widely used?
2010-05-28 5:01 UTC (80+ messages)
` Ada compilers written in ... (was: Re: Ada noob here! Is Ada widely used?)
Ada requires too much typing!
2010-05-27 22:15 UTC (17+ messages)
GNAT packages in Linux distributions
2010-05-27 15:21 UTC (32+ messages)
SPARK syntax and “use type” : lack of feature ?
2010-05-26 10:28 UTC (8+ messages)
About static libraries and Debian policy
2010-05-26 7:30 UTC (22+ messages)
` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
` Symbolic tracebacks on Debian
Access types - what's happening here?
2010-05-25 23:33 UTC (5+ messages)
Q: SPARK visibility rules and inherit annotations
2010-05-25 20:58 UTC (8+ messages)
Looking For Simple Routine To Put Integer Into Float
2010-05-25 16:34 UTC (4+ messages)
GCC conflict on Ubuntu for mixed Ada/C++ project
2010-05-25 2:26 UTC (12+ messages)
` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
A generic image decoder - specification design
2010-05-24 21:42 UTC (3+ 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