messages from 2009-06-12 18:25:07 to 2009-06-26 19:50:32 UTC [more...]
Issue with GNAT GPL 2009 and GtkAda
2009-06-26 19:50 UTC (20+ messages)
Ada Quality and Style
2009-06-26 17:02 UTC (4+ messages)
addr2line i mingw gcc 4.4.0
2009-06-26 14:41 UTC
MinGW Ada compiler licence question targeting commercial applications
2009-06-26 14:01 UTC (46+ messages)
` MinGW Ada compiler licence question targeting commercial
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 (13+ 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)
Hibachi - is it dead?
2009-06-24 14:01 UTC (2+ messages)
Not visible
2009-06-24 9:59 UTC (3+ messages)
GNAT GPL for LEGO MINDSTORMS NXT
2009-06-24 7:00 UTC (5+ messages)
null array constant in Ada 83
2009-06-23 14:11 UTC (7+ messages)
Gnat says libraries are not supported
2009-06-22 20:03 UTC (9+ messages)
Exent handler using Gtk.Widget
2009-06-21 3:15 UTC
SPARK - runtime checks question
2009-06-19 21:38 UTC (8+ messages)
Methodologies and tools
2009-06-19 17:00 UTC (3+ messages)
Ada and EDF in Win32?
2009-06-19 15:52 UTC (4+ messages)
win32 bindings with GNAT GPL 2009?
2009-06-18 7:25 UTC (3+ messages)
SIGAda 2009
2009-06-17 7:59 UTC
Unifying task & Distributed Annex
2009-06-16 20:16 UTC (3+ messages)
Ada vs Eiffel - Ada programmer approach
2009-06-16 17:22 UTC (7+ messages)
A little smile
2009-06-16 15:45 UTC (8+ messages)
Question on types conversions - operations
2009-06-15 19:37 UTC (16+ messages)
Array initialization in SPARK
2009-06-15 12:10 UTC (2+ messages)
Extending a type and Finalization
2009-06-15 6:30 UTC (2+ messages)
ANN: Fuzzy Sets for Ada v5.4
2009-06-14 14:29 UTC
ANN: Simple Components for Ada v3.4
2009-06-14 14:23 UTC
Exception handler does not catch an exception
2009-06-14 14:12 UTC (2+ messages)
ANN: Strings Edit for Ada v2.2
2009-06-14 13:57 UTC
ANN: Tables for Ada v1.9
2009-06-14 13:51 UTC
ANN: Units of Measurements for Ada v2.9
2009-06-14 12:34 UTC
ANN: GtkAda contributions v2.3
2009-06-14 12:24 UTC
ANN: GPS Library Installer v1.0
2009-06-14 12:10 UTC
GNAT GPL 2009 for 32-bit Mac OS X
2009-06-13 9:29 UTC (2+ messages)
tcladashell-20090611
2009-06-12 21:58 UTC
Hide annotations on procedures
2009-06-12 20:47 UTC (3+ messages)
REMINDER: June 30, 2009 Submission Deadlne for SIGAda 2009 Conference
2009-06-12 20:32 UTC
Running SPARK Pro with a free Prolog
2009-06-12 18:25 UTC (4+ 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