comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-11-30 09:14:48 to 2010-12-14 15:51:20 UTC [more...]

Ada.Execution_Time
 2010-12-14 15:51 UTC  (12+ messages)

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)

Hibachi project getting termination review
 2010-12-14  5:24 UTC 

Ahven versus AUnit?
 2010-12-14  5:18 UTC  (3+ messages)

Properties
 2010-12-13 15:10 UTC  (92+ 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)

Ada on FreeBSD?
 2010-12-01 16:39 UTC  (3+ messages)

Callback in Ada
 2010-11-30 20:31 UTC  (16+ messages)
    ` Callback in Ada (User Data argument)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox