comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2014-07-03 07:13:52 to 2014-07-12 21:00:36 UTC [more...]

Modified proposals for Ada-Comment
 2014-07-12 21:00 UTC  (2+ messages)

“The Machine” and Ada (blog post)
 2014-07-12 10:41 UTC  (11+ messages)
` ³The Machine² "
` "The Machine" "

best learning habits
 2014-07-12  8:16 UTC  (2+ messages)

Comments requested for a couple of Ada-Comments submissions
 2014-07-12  5:52 UTC  (21+ messages)

Forcing GNAT to use 32-bit load/store instructions on ARM?
 2014-07-11 20:22 UTC  (30+ messages)

Ada's ranking of popularity at IEEE Spectrum
 2014-07-11 11:56 UTC  (48+ messages)

ACM SIGAda High Integrity Language Technology (HILT 2014) deadline extended to July 20th
 2014-07-10 21:22 UTC 

Position of "use"
 2014-07-10 19:15 UTC  (19+ messages)

ANN: HTTP file server v1.0-beta1
 2014-07-10  6:47 UTC  (4+ messages)

is there any sample code for detecting key strokes while writing to a .txt file?
 2014-07-09 13:33 UTC  (2+ messages)

'Size hack for enumerated types
 2014-07-08 23:18 UTC  (26+ messages)

Protected Type compiler complaint
 2014-07-08 17:50 UTC  (10+ messages)

How to create qlabels for a table via loop? (QtAda 3.2/GPS 2014 - Beginners question)
 2014-07-08  1:06 UTC  (3+ messages)

Array slicing question
 2014-07-07 13:34 UTC  (3+ messages)

Benchmark Ada, please
 2014-07-06 17:24 UTC  (11+ messages)

Semantics of POSIX Ada Binding
 2014-07-05 16:33 UTC 

Strange bug in GNAT
 2014-07-05 15:28 UTC  (5+ messages)

An optimizing compiler idea
 2014-07-04 22:26 UTC  (2+ messages)

some questions on installing Ada on Linux
 2014-07-04 17:40 UTC  (8+ messages)

ANN: SparForte 1.5
 2014-07-04 10:40 UTC 

Function definitions - with clarification
 2014-07-04  6:45 UTC  (6+ messages)

Problem using GPS to debug in C and Ada at the same time
 2014-07-04  6:20 UTC  (3+ messages)

New edition of John Barnes' classic book
 2014-07-03 23:06 UTC  (10+ messages)

SPARK 2014 Abstract_State visibility rules with generic packages
 2014-07-03 19:29 UTC 


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