comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-11-19 13:40:12 to 2010-12-07 06:57:21 UTC [more...]

Ada Bindings for 0MQ 2.1.0
 2010-12-07  6:57 UTC 

How to include vector operators?
 2010-12-07  2:53 UTC  (3+ messages)

Properties
 2010-12-07  0:56 UTC  (85+ messages)
      ` (placepo) Properties

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  (10+ 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  (12+ 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  (7+ messages)

Setting up Opengl
 2010-11-20 12:07 UTC  (13+ messages)

Quantified Expressions: "some"
 2010-11-19 20:03 UTC  (17+ messages)


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