comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-05-14 11:53:58 to 2010-05-20 15:33:57 UTC [more...]

Ada noob here! Is Ada widely used?
 2010-05-20 15:33 UTC  (6+ messages)

Gnat cross compiler
 2010-05-20 14:29 UTC 

A proposal for Debian policy for Ada
 2010-05-20 14:06 UTC  (22+ messages)

About static libraries and Debian policy
 2010-05-20 14:04 UTC  (16+ messages)
        ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)

GCC conflict on Ubuntu for mixed Ada/C++ project
 2010-05-20 12:10 UTC  (15+ messages)

Q: SPARK visibility rules and inherit annotations
 2010-05-20 11:03 UTC  (7+ messages)

One united Ada policy for all Linux distributions?
 2010-05-20 10:49 UTC  (13+ messages)

for S'Image use Func??
 2010-05-20  9:31 UTC  (45+ messages)

SPARK reserved and predefined words : alternative choices
 2010-05-20  9:01 UTC  (2+ messages)

SPARK
 2010-05-20  6:58 UTC  (42+ messages)

Trying to get A# set up (and failing)
 2010-05-19 21:16 UTC  (6+ messages)

Disabling string evaluation in a logging system
 2010-05-19 19:08 UTC  (20+ messages)

TXL Grammar for Ada 2005
 2010-05-19 15:10 UTC  (5+ messages)

Why is Ada considered "too specialized" for scientific use
 2010-05-19 14:55 UTC  (20+ messages)

Code Statement
 2010-05-19 10:20 UTC  (8+ messages)

Building an Embedded Device/System? Tell VDC about your experiences for a chance to WIN!
 2010-05-18 12:36 UTC 

Hard and soft real time with Ada
 2010-05-17 22:01 UTC  (7+ messages)

Good book(s) on data structures?
 2010-05-17 17:13 UTC  (8+ messages)

Imagine Ada with Fewer Attributes
 2010-05-17 13:27 UTC  (5+ messages)

Call for papers: SETP-10, USA, July 2010
 2010-05-17 10:06 UTC 

Ada-Europe 2010 early registration deadline approaching
 2010-05-16 20:24 UTC 

GNAT packages in Linux distributions
 2010-05-15 20:33 UTC  (26+ messages)

www.promptc.com (only $36,free shipping)for 2010 newest Adidas shoes--Paypal
 2010-05-15 12:47 UTC 

AWS install problems
 2010-05-15 10:05 UTC  (3+ messages)


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