messages from 2009-06-10 10:45:31 to 2009-06-25 09:06:08 UTC [more...]
Issue with GNAT GPL 2009 and GtkAda
2009-06-25 9:06 UTC (4+ messages)
Workaround for invariant SPARK condition
2009-06-25 8:50 UTC (3+ messages)
Problems installing/running AdaCore GPS (GPL) in Mandriva 2009
2009-06-25 6:48 UTC (2+ messages)
AUnit XML output and NUnit?
2009-06-25 4:57 UTC (2+ messages)
Please help... troubleshooting Gnat AVR build
2009-06-25 2:12 UTC (3+ messages)
GNAT.Sockets. Blocking?
2009-06-24 22:12 UTC (12+ messages)
` Simple solution was "
MinGW Ada compiler licence question targeting commercial applications
2009-06-24 17:56 UTC (45+ messages)
` MinGW Ada compiler licence question targeting commercial
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)
Ada Quality and Style
2009-06-21 11:48 UTC (2+ 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 (14+ 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)
Qt Ada database support?
2009-06-12 13:34 UTC (20+ messages)
` Qt vs. GTK+ (was: Qt Ada database support?)
` Status of GNADE (Was: "
` Status of GNADE
` GNADE, ODBC and MySQL
Thirty years of the Ada User Journal, Ada-Europe Reports
2009-06-11 22:39 UTC
A question
2009-06-11 13:30 UTC (2+ messages)
SPARK and unbounded tree structures
2009-06-11 10:31 UTC (5+ messages)
Minor SPARK problem concerning 'redundant' with clauses
2009-06-11 8:52 UTC (5+ messages)
GNAT GPL 2009 --doinstall doesn't "do" anything
2009-06-10 21:38 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