comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-05-19 21:16:44 to 2010-05-25 18:50:41 UTC [more...]

Ada noob here! Is Ada widely used?
 2010-05-25 18:50 UTC  (109+ messages)

Emacs and long file names
 2010-05-25 17:23 UTC  (6+ messages)

Looking For Simple Routine To Put Integer Into Float
 2010-05-25 16:34 UTC  (4+ messages)

About static libraries and Debian policy
 2010-05-25  9:02 UTC  (27+ messages)
        ` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
              ` Symbolic tracebacks on Debian

SPARK syntax and “use type” : lack of feature ?
 2010-05-25  7:29 UTC  (3+ messages)

GCC conflict on Ubuntu for mixed Ada/C++ project
 2010-05-25  2:26 UTC  (12+ messages)
                ` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)

A generic image decoder - specification design
 2010-05-24 21:42 UTC  (3+ messages)

Gnat cross compiler
 2010-05-24 15:44 UTC  (5+ messages)

Ada-Belgium Spring 2010 Event, registration deadline approaching
 2010-05-23  7:25 UTC 

Noob question: universal_integer type
 2010-05-23  2:36 UTC  (12+ messages)

Ada Debian policy plea
 2010-05-22  8:49 UTC 

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

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

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

SPARK
 2010-05-20 21:51 UTC  (10+ 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  (13+ messages)

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

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