messages from 2010-10-25 18:56:03 to 2010-10-30 19:12:36 UTC [more...]
Do people who use Ada also use ocaml or F#?
2010-10-30 19:12 UTC (25+ messages)
Ada is getting more popular!
2010-10-30 19:02 UTC (70+ messages)
` Laziness (Was: Re: Ada is getting more popular!)
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)
Discriminants of tagged types
2010-10-29 18:59 UTC (32+ 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 (8+ messages)
TIOBE index
2010-10-26 2:45 UTC (4+ messages)
basic questions on using Ada arrays
2010-10-26 2:20 UTC (7+ messages)
Strange behaviour of delay in Windows XP
2010-10-26 1:50 UTC (3+ messages)
Strange behaviour of delay in Windows
2010-10-26 1:08 UTC (2+ messages)
Concatenate enumeration
2010-10-26 0:29 UTC (2+ messages)
ANNOUNCE: TOMI_4_Ada 0.10 Initial Release
2010-10-26 0:13 UTC
warning "blah" is an Ada 2005 unit
2010-10-25 22:25 UTC (5+ messages)
The "black magic" of ioctl
2010-10-25 18:56 UTC (8+ 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