messages from 2010-12-02 15:46:18 to 2010-12-16 01:14:42 UTC [more...]
Ada.Execution_Time
2010-12-16 1:14 UTC (32+ messages)
question on GtkAda
2010-12-16 0:58 UTC (4+ messages)
Communications of ACM: Sir, Please Step Away from the ASR-33!
2010-12-15 22:36 UTC (2+ messages)
Looking for a tash related tool
2010-12-15 18:28 UTC (4+ messages)
Hibachi project getting termination review
2010-12-15 16:45 UTC (3+ messages)
Leveson paper on software and spacecraft accidents - mentions Ariane 501 and Ada
2010-12-15 16:34 UTC
What is the status of Ada binding to lapack?
2010-12-15 12:00 UTC (2+ messages)
TIOBE Index--Where are the Jobs?
2010-12-15 9:46 UTC (2+ messages)
cheap wholesale soccer jersey baseball jerseys basketball jerseys NFL NBA MLB NHL jersey free shipping paypal payment(http://www.24hour-buy.com/)
2010-12-15 8:50 UTC
requeue vs requeue with abort - code example pleaseeee
2010-12-14 15:40 UTC (19+ messages)
JEWL Editbox_type output numerics
2010-12-14 14:41 UTC (3+ messages)
gnatcoll-gpl-2010: Problem with gnatcoll_db2ada
2010-12-14 13:11 UTC (13+ messages)
Ahven versus AUnit?
2010-12-14 5:18 UTC (3+ messages)
Properties
2010-12-13 15:10 UTC (85+ messages)
` (placepo) Properties
Programming error' caused Russian rocket failure
2010-12-12 19:24 UTC (7+ messages)
Ada's birthday
2010-12-12 14:06 UTC (7+ messages)
Ada group on identica
2010-12-10 22:51 UTC (9+ messages)
ANN: SPARKRules Version 1.0 now available
2010-12-10 15:20 UTC
C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2011
2010-12-08 20:53 UTC
[ANN] Ada Bindings for 0MQ 2.1.0
2010-12-08 5:30 UTC
[ANN] Ada bindimgs to gtkdatabox
2010-12-07 22:17 UTC (4+ messages)
protected object with no private part
2010-12-07 19:12 UTC (2+ messages)
Kobweb Java
2010-12-07 14:45 UTC
How to include vector operators?
2010-12-07 11:11 UTC (4+ messages)
Ada Bindings for 0MQ 2.1.0
2010-12-07 6:57 UTC
Debugger difference between GPS 2008/2009 and 2010
2010-12-05 10:50 UTC (3+ messages)
accessibility of objects
2010-12-05 10:16 UTC (3+ messages)
Large arrays passed to arithmetic operators overflows GNAT stack
2010-12-05 1:22 UTC (5+ messages)
Properties
2010-12-04 23:27 UTC (2+ messages)
Semantics of 'Image and 'Wide_Image on wide enumerations
2010-12-03 21:17 UTC (4+ messages)
ANN: SPARK Proof Libraries
2010-12-03 5: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