messages from 2010-11-22 10:19:05 to 2010-12-08 20:53:27 UTC [more...]
C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2011
2010-12-08 20:53 UTC
Ada group on identica
2010-12-08 9:14 UTC (2+ messages)
[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)
Properties
2010-12-07 17:02 UTC (91+ messages)
` (placepo) Properties
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
Programming error' caused Russian rocket failure
2010-12-06 18:06 UTC
gnatcoll-gpl-2010: Problem with gnatcoll_db2ada
2010-12-06 10:55 UTC (12+ messages)
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 (3+ messages)
Ada on FreeBSD?
2010-12-01 16:39 UTC (11+ messages)
Callback in Ada
2010-11-30 20:31 UTC (23+ messages)
` Callback in Ada (User Data argument)
tutor needed
2010-11-29 22:16 UTC (2+ messages)
AVR-Ada and GCC4.5.0 revisited
2010-11-29 15:10 UTC (6+ messages)
Mathpaqs release 28-Nov-2010
2010-11-29 12:04 UTC
GitHub added support for Ada
2010-11-27 8:17 UTC
Installing AWS GPL Edition
2010-11-26 20:46 UTC (8+ messages)
Encapsulating Ada.Direct_IO
2010-11-26 15:31 UTC (6+ messages)
interesting project
2010-11-26 13:57 UTC
ANN: ZanyBlue.Text, Localization Support for Ada
2010-11-26 7:00 UTC (2+ messages)
Toolchain of choice
2010-11-25 20:42 UTC (9+ messages)
Ada function points
2010-11-24 11:24 UTC
GNAT's Protected Objects
2010-11-24 7:08 UTC (2+ messages)
Cannot summate small float values
2010-11-22 16:30 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