comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-05-17 01:24:42 to 2010-05-22 00:00:01 UTC [more...]

Ada noob here! Is Ada widely used?
 2010-05-22  0:00 UTC  (49+ messages)

Noob question: universal_integer type
 2010-05-21 23:37 UTC  (4+ messages)

[Ann] Ada-bindings for 0mq
 2010-05-21 20:20 UTC  (2+ messages)

About static libraries and Debian policy
 2010-05-21 12:26 UTC  (10+ messages)
        ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
          ` Symbolic tracebacks on Debian

Installing MinGW and testing it out I have a problem
 2010-05-21 12:19 UTC  (5+ messages)

info version of Ada reference manuals
 2010-05-21 11:33 UTC 

Q: SPARK visibility rules and inherit annotations
 2010-05-21 10:42 UTC  (9+ messages)

Gnat cross compiler
 2010-05-21  9:26 UTC  (4+ messages)

for S'Image use Func??
 2010-05-21  6:56 UTC  (29+ messages)

SPARK
 2010-05-20 21:51 UTC  (16+ messages)

SPARK reserved and predefined words : alternative choices
 2010-05-20 16:37 UTC  (3+ messages)

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

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

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

Trying to get A# set up (and failing)
 2010-05-19 21:16 UTC  (5+ 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  (2+ messages)

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


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