messages from 2010-10-26 05:23:57 to 2010-10-31 03:01:26 UTC [more...]
Do people who use Ada also use ocaml or F#?
2010-10-31 3:01 UTC (39+ messages)
Ada is getting more popular!
2010-10-31 1:35 UTC (68+ messages)
` Laziness (Was: Re: Ada is getting more popular!)
Discriminants of tagged types
2010-10-30 22:01 UTC (35+ messages)
ANN: Simple components for Ada v3.10
2010-10-30 20:08 UTC (2+ messages)
Array initialization in SPARK
2010-10-30 13:11 UTC (9+ messages)
Life-time of temporaries
2010-10-30 12:03 UTC
initialize an array (1-D) at elaboration using an expression based on the index?
2010-10-30 6:34 UTC (7+ messages)
Contents of JEWL Editbox not consistent
2010-10-29 9:23 UTC (4+ messages)
This is a test, please don't care
2010-10-28 20:10 UTC (3+ messages)
How to implement JEWL File dialogs?
2010-10-28 11:10 UTC (4+ messages)
GNAT bug - still in 2010?
2010-10-28 8:31 UTC (8+ messages)
GNAT JVM/AVR/Mindstorms on GNU/Linux?
2010-10-27 21:28 UTC (8+ messages)
set_output doesnt work for ASIS Run(Reporter) for text_reporter
2010-10-27 21:03 UTC (6+ messages)
GNAT/GCC and -fstack-check
2010-10-27 14:58 UTC (13+ messages)
GNAT and SIGTERM (Linux x86_64)
2010-10-27 14:21 UTC (4+ messages)
Why does AUnit text/xml reporters use gnat.io??? and why does gnat.io only allow standard_output and standard_error ???
2010-10-27 3:37 UTC (2+ messages)
Announce: DSA Messenger example
2010-10-26 22:02 UTC
loop problem with exit condition
2010-10-26 12:38 UTC (7+ messages)
Warnings about hiding
2010-10-26 9:32 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