messages from 2009-06-24 18:44:26 to 2009-07-02 12:49:44 UTC [more...]
New release of AdaControl (1.11r4)
2009-07-02 12:49 UTC (6+ messages)
Interfacing with C ; an ununsed fields dilemma
2009-07-02 12:09 UTC (8+ messages)
GnatColl
2009-07-02 12:00 UTC
Anybody trying to create an Ada wrapper for the Android Native D-Kit?
2009-07-02 7:58 UTC
Issue with GNAT GPL 2009 and GtkAda
2009-07-01 19:22 UTC (47+ messages)
Conditional Compilation in Ada
2009-07-01 16:20 UTC (15+ messages)
unsigned type
2009-07-01 15:08 UTC (60+ messages)
GNAT GPL for LEGO MINDSTORMS NXT
2009-07-01 12:18 UTC (10+ messages)
C interface using a record with discriminant and representation clauses
2009-06-30 23:38 UTC (2+ messages)
Ada source code obfuscator update
2009-06-30 21:48 UTC
Maping of Ada tasks on the plateforme OS threads model
2009-06-29 22:45 UTC (4+ messages)
` coroutines (Maping of Ada tasks on the plateforme OS threads model)
addr2line i mingw gcc 4.4.0
2009-06-29 21:49 UTC (13+ messages)
Gnat says libraries are not supported
2009-06-29 10:15 UTC (4+ messages)
gps on Ubuntu 8.04
2009-06-28 14:00 UTC (4+ messages)
win32 bindings with GNAT GPL 2009?
2009-06-27 14:54 UTC (3+ messages)
Ada Quality and Style
2009-06-26 17:02 UTC (4+ messages)
MinGW Ada compiler licence question targeting commercial applications
2009-06-26 14:01 UTC (6+ messages)
Problems installing/running AdaCore GPS (GPL) in Mandriva 2009
2009-06-26 13:06 UTC (10+ messages)
Clarification for SPARK postconditions on hidden subprograms
2009-06-26 10:41 UTC (6+ messages)
GNAT.Sockets. Blocking?
2009-06-25 17:30 UTC (6+ messages)
` Simple solution was "
Please help... troubleshooting Gnat AVR build
2009-06-25 11:31 UTC (4+ messages)
Workaround for invariant SPARK condition
2009-06-25 11:19 UTC (4+ messages)
AUnit XML output and NUnit?
2009-06-25 4:57 UTC (2+ 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