comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2006-01-19 01:01:02 to 2006-01-31 19:11:27 UTC [more...]

ANN: New Source Version of Mine Detector
 2006-01-31 19:11 UTC 

tasksing and TCP sockets
 2006-01-31 10:09 UTC  (5+ messages)

CfP: ISSSE 2006 Conference
 2006-01-31  9:48 UTC 

Is GNAVI IDE alive as of year 2006?
 2006-01-31  2:41 UTC  (2+ messages)

mingw vs cygwin
 2006-01-31  2:29 UTC  (3+ messages)

Request for comments on simple Ada program
 2006-01-31  2:24 UTC  (42+ messages)
  ` Ada Quality and Style book discussion
                  ` Don't use the "use" clause

Type safety on wikipedia
 2006-01-31  2:13 UTC  (40+ messages)

how to put Unsigned_64?
 2006-01-30 19:35 UTC  (6+ messages)

Yet another operating system
 2006-01-30 10:53 UTC 

Ada to C++ translator
 2006-01-30  5:32 UTC  (35+ messages)

Dilbert Does Design
 2006-01-29 13:32 UTC 

ANN: SPARK 7.3 now available
 2006-01-26 14:20 UTC 

UK job opportunities (UK)
 2006-01-24 22:59 UTC  (2+ messages)

Ada GPS/UML Webinar
 2006-01-24 19:12 UTC 

Ada Engineers available!
 2006-01-24 12:59 UTC  (2+ messages)

Humor fromkipedia
 2006-01-23 22:04 UTC  (10+ messages)

Question on Ada Expressive Power
 2006-01-23 20:06 UTC  (10+ messages)

(no subject)
 2006-01-23 15:56 UTC 

CFP: IAENG International Workshop on Software Engineering (in IMECS 2006)
 2006-01-23 10:22 UTC 

OT: Looking for a protocol
 2006-01-23  1:45 UTC  (9+ messages)

The GNU Ada compiler
 2006-01-21  9:00 UTC  (13+ messages)

GNAT Error - Subunit not found
 2006-01-20  9:48 UTC  (6+ messages)

Using Ada (or SPARK) in Ada-unaware environment
 2006-01-20  5:08 UTC  (9+ messages)

entry_barrier, entry_body & entry_declaration
 2006-01-20  4:35 UTC  (14+ messages)

GNAT Normalize_Pathname version differences
 2006-01-19 14:13 UTC  (3+ messages)

Tartan works ada
 2006-01-19 13:11 UTC  (3+ messages)

Ada 2005 box (<>) rules in default values
 2006-01-19  9:19 UTC  (7+ messages)


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