comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-06-16 07:36:13 to 2010-06-29 15:08:45 UTC [more...]

Unbounded String to string
 2010-06-29 15:08 UTC  (4+ messages)

HP PRINTER
 2010-06-29 12:23 UTC 

Advice on selling Ada to a C shop
 2010-06-29  8:42 UTC  (59+ messages)

Strategies with SPARK which does not support exceptions
 2010-06-29  8:39 UTC  (18+ messages)

Installing GNAT GPL 2010 on Vista
 2010-06-29  6:34 UTC  (14+ messages)

GCC conflict on Ubuntu for mixed Ada/C++ project
 2010-06-29  2:51 UTC  (14+ messages)
                ` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
                    ` Improving the first contact with Ada

Ada requires too much typing!
 2010-06-29  2:13 UTC  (21+ messages)

Inferring array index type from array object
 2010-06-29  2:10 UTC  (23+ messages)

ANN: Strings Edit v2.5
 2010-06-28 18:56 UTC 

Gnat GPL 2010 available soon
 2010-06-28 17:37 UTC  (24+ messages)
      ` Gnat GPL 2010 available soon (conditional expressions)

Ann: Generic Image Decoder v.01
 2010-06-28  1:13 UTC  (9+ messages)

ANN: Tables 1.10
 2010-06-27 17:12 UTC 

Fill Form And Get $5000 To Your Home
 2010-06-26 16:32 UTC 

[GNAT-specific] Using the Form parameter/-gnatW switch
 2010-06-26  6:59 UTC  (3+ messages)
  `  "

Java methods invoking operations in the VDM models+ How to import in eclipse
 2010-06-26  0:47 UTC  (2+ messages)

SATELLITE PICTURES
 2010-06-25 14:31 UTC 

FOOTBALL GAMES
 2010-06-25 11:20 UTC 

One video from AE10 conference
 2010-06-24  7:56 UTC 

What is the best way to convert Integer to Short_Short_Integer?
 2010-06-22 21:48 UTC  (10+ messages)

Ada, Concurrency and Cryptography
 2010-06-22 13:47 UTC  (4+ messages)

Question about SPARK flow error
 2010-06-20  8:42 UTC  (9+ messages)

What Ada can do for Cryptography
 2010-06-18  9:57 UTC 

Simple hack to get $1500 to your home
 2010-06-18  5:27 UTC 

Subtypes boundaries
 2010-06-17 19:53 UTC  (6+ messages)

small example, using complex variables in Ada
 2010-06-17 16:36 UTC  (7+ messages)

More Ada in Cryptography
 2010-06-17  8:47 UTC 

Ada in Cryptography
 2010-06-17  6:58 UTC 

What is SPARK about?
 2010-06-17  5:38 UTC  (7+ messages)

Press Release - Ada-Europe launches Programming Contest
 2010-06-16 22:56 UTC 

Processing array subsections, a newbie question
 2010-06-16 19:22 UTC  (6+ messages)

Test; Please Ignore
 2010-06-16 18:16 UTC 

GNAT GPL 2009 and Vista
 2010-06-16 12:17 UTC  (2+ messages)

Slightly OT: Debian Community Poll
 2010-06-16  7:36 UTC  (14+ messages)


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