comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2012-08-22 04:40:34 to 2012-09-06 15:46:06 UTC [more...]

Emacs Ada mode vs Ada 2012 syntax
 2012-09-06 15:46 UTC  (3+ messages)

Ada's identifiers casing considered ugly
 2012-09-05 22:58 UTC  (5+ messages)

Hi-Lite high integrity showcase and overflow errors
 2012-09-05  9:25 UTC  (9+ messages)

Status of GNADE ODBC under Debian 64-bit
 2012-09-04  9:40 UTC  (2+ messages)

anonymous aggregates?
 2012-08-31 22:57 UTC  (5+ messages)

Question: re Image Files
 2012-09-03  6:02 UTC  (12+ messages)

Curiosity rover on Mars
 2012-08-30 19:34 UTC  (5+ messages)

GNATCOLL SQLite rollback vs cursor
 2012-08-31 12:10 UTC  (2+ messages)

Ada bindings for filesystems
 2012-09-06 15:45 UTC 

===== Soft Skills Training In Chennai ======
 2012-09-06  6:15 UTC 

Having trouble proving modus ponens using checker
 2012-09-04 14:24 UTC  (2+ messages)

Proving B given that A >= 0 -> B and A < 0 -> B
 2012-09-04 14:23 UTC  (2+ messages)

[ANN] XAdaLib 2012 binaries for MacOS including GTKAda and more
 2012-09-02 17:05 UTC 

Real syntax problems in Ada
 2012-09-02 10:16 UTC  (32+ messages)

More on reading Image files in Ada
 2012-08-31 19:30 UTC  (2+ messages)

polyorb exception with the DSA annex
 2012-08-30 15:56 UTC 

Was Jesus really silent on homosexuality?
 2012-08-29 19:49 UTC 

Ada networking (Adagio)
 2012-08-29 18:36 UTC  (8+ messages)

Mystery with "others"
 2012-08-29 16:44 UTC  (2+ messages)

AdaControl 1.14 released
 2012-08-29 14:14 UTC 

Access to procedure and generics
 2012-08-29 11:25 UTC  (10+ messages)

Ada and Java/C++
 2012-08-29 10:52 UTC  (31+ messages)

ANN: Deepend 3.2 Storage Pools
 2012-08-28  5:17 UTC 

John English's adacraft online book
 2012-08-27 22:54 UTC  (5+ messages)

Getting Started wih PERL as a Second Programming Language
 2012-08-27 18:10 UTC  (2+ messages)

[Announcing] Public Ada Courses 1-5 October 2012 in Carlsbad CA
 2012-08-26 18:02 UTC 

Should Inline be private in the private part of a package spec?
 2012-08-24 22:09 UTC  (104+ messages)

Have the Itanium critics all been proven wrong?
 2012-08-22 22:35 UTC 

Have the Itanium critics all been proven wrong?
 2012-08-22 22:30 UTC  (23+ messages)

Distributed Reader-Writer Mutex by Dmitry Vyukov
 2012-08-26  7:36 UTC 

My Program Sourcecode has a Mind of its Own Suddenly
 2012-08-25 17:51 UTC  (5+ messages)


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