messages from 2009-06-06 18:23:04 to 2009-06-19 15:52:20 UTC [more...]
Ada and EDF in Win32?
2009-06-19 15:52 UTC (4+ messages)
MinGW Ada compiler licence question targeting commercial applications
2009-06-19 15:36 UTC (33+ messages)
` MinGW Ada compiler licence question targeting commercial
SPARK - runtime checks question
2009-06-19 15:31 UTC (2+ messages)
Methodologies and tools
2009-06-19 12:35 UTC (2+ messages)
GNAT GPL for LEGO MINDSTORMS NXT
2009-06-18 8:47 UTC (2+ 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 (17+ 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 (10+ 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 (22+ 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)
SPARK
2009-06-10 9:47 UTC
OT?: AF 447 and avionics software
2009-06-10 7:36 UTC (13+ messages)
Representing errno in SPARK
2009-06-09 17:26 UTC (6+ messages)
SPARK postcondition check fails
2009-06-09 7:49 UTC (4+ messages)
Taking another spanking
2009-06-09 4:29 UTC (6+ messages)
ASIS : questions about the ASIS status against the Ada reference
2009-06-08 22:43 UTC (5+ messages)
Number of possible values in of enumerated type
2009-06-08 21:45 UTC (2+ messages)
Hibachi - is it dead?
2009-06-08 18:51 UTC (3+ messages)
SPARK parameter type error
2009-06-08 15:00 UTC (3+ messages)
find words that contains some specific letters
2009-06-07 19:30 UTC (7+ messages)
Announce: QtAda 3.0 & QtAda 2.2
2009-06-07 19:07 UTC
SPARK constants across packages
2009-06-07 17:34 UTC (3+ messages)
Uninstalling prev version of gnat
2009-06-07 12:20 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