comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2015-05-28 23:49:45 to 2015-06-10 08:24:54 UTC [more...]

STM32F4 GNAT Run Time System - roadmap
 2015-06-10  8:24 UTC  (5+ messages)

Problem with GPS and Generating Body from Spec
 2015-06-09 21:38 UTC  (14+ messages)

gnat compiler issues with a partial build
 2015-06-09 18:57 UTC  (7+ messages)

{Pre,Post}conditions and side effects
 2015-06-09 17:16 UTC  (25+ messages)

How to get this space away?
 2015-06-09 14:38 UTC  (20+ messages)

Ada.Text_IO.Get_Line issue in windows
 2015-06-08 22:47 UTC  (9+ messages)

Trying to make XMLada use a validating SAX Parser
 2015-06-08 22:45 UTC  (12+ messages)

Parsing Ada?
 2015-06-08 22:45 UTC  (19+ messages)

ANN: mosquitto-ada-1.0.0
 2015-06-08 22:44 UTC  (2+ messages)

OpenToken: Parsing Ada (subset)?
 2015-06-05 23:52 UTC  (10+ messages)

Build language with weak typing, then add scaffolding later to strengthen it?
 2015-06-04 23:12 UTC  (68+ messages)

Ada Software Engineer Position in Huntsville, AL
 2015-06-04 12:45 UTC 

Mathpaqs release 30-May-2015
 2015-06-04  7:25 UTC  (5+ messages)

Announce : Qt5Ada version 5.1.0 release 10/07/2013 free edition
 2015-06-03  9:43 UTC  (7+ messages)

Problems with the "mwindows" switch
 2015-06-03  8:27 UTC  (15+ messages)

longest path through a task
 2015-06-02 22:15 UTC  (14+ messages)
  ` Windows Text_IO.Get_Line issue

Ada-Belgium Spring 2015 Event, Sat 13 June 2015
 2015-06-02 21:02 UTC 

gprbuilds and bullds using the gpr within gps
 2015-06-01 19:00 UTC  (8+ messages)

ANN: GCC 5.1.0 for Mac OS X
 2015-06-01 12:01 UTC  (4+ messages)

I'm pleased to announce VTKAda version 6.0 free edition release 01/10/2013
 2015-05-31 19:33 UTC  (7+ messages)

Arm - ravenscar - exceptions - last chance handler
 2015-05-30 20:59 UTC  (11+ messages)

Standard'Maximum_Alignment
 2015-05-29 13:25 UTC  (3+ messages)

software failure metrics
 2015-05-29  8:44 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