messages from 2012-03-08 10:30:45 to 2012-03-25 19:26:35 UTC [more...]
xor
2012-03-25 19:26 UTC (5+ messages)
help bridging C and Ada
2012-03-25 17:47 UTC (4+ messages)
FYI: used ada books are cheap
2012-03-25 14:38 UTC
SPARK loop VCs that go "one beyond" the loop?
2012-03-25 14:14 UTC (6+ messages)
Ada advocacy
2012-03-25 11:10 UTC (18+ messages)
My first compiler bug: work around or redesign?
2012-03-24 9:50 UTC (15+ messages)
Irreflective girl, our Ada
2012-03-23 23:23 UTC (3+ messages)
Ann: Corporate Bullshit Generator, live!
2012-03-22 20:23 UTC (8+ messages)
gnatdist and polyorb
2012-03-22 14:11 UTC (4+ messages)
mailing list archives as PDFs
2012-03-20 22:50 UTC (3+ messages)
XXX HOT PHOTOS & VIDEOS
2012-03-20 18:33 UTC
gnat executables
2012-03-20 12:47 UTC (2+ messages)
Ada and linux real time
2012-03-20 8:04 UTC (22+ messages)
Gnat gps not picking up adasockets.gpr file
2012-03-19 11:53 UTC (3+ messages)
Robert Dewar at FOSDEM 2012: video available
2012-03-19 9:22 UTC (4+ messages)
AdaRocks.com
2012-03-18 15:44 UTC (5+ messages)
Updated List 2012 Solutions Manuals, Instructor Manuals & Test Banks Collection. Largest Collection Over The Net !!
2012-03-18 14:54 UTC
important news
2012-03-18 11:54 UTC
Question: Re Copying Program Files
2012-03-18 1:27 UTC (2+ messages)
A split between two kinds of Ada programmers?
2012-03-16 19:17 UTC (3+ messages)
gnat on debian arm
2012-03-16 13:16 UTC (13+ messages)
ANN: SparForte 1.3
2012-03-16 1:32 UTC
Blues
2012-03-15 17:44 UTC
Array Help?
2012-03-15 7:46 UTC (14+ messages)
ANN: Paraffin 3.2
2012-03-15 3:44 UTC
Verified compilers?
2012-03-14 21:52 UTC (58+ messages)
` Usefulness of Formal Notions in Programming (was: Verified compilers?)
` Usefulness of Formal Notions in Programming
` REAL (was: Verified compilers?)
` REAL
Endian problems - what best way to solve it with least effort
2012-03-14 15:54 UTC (5+ messages)
Crossrail TBM (Tunnel Boring Machine) names
2012-03-13 21:43 UTC (2+ messages)
MESMERIZING HOT PHOTOS & VIDEOS
2012-03-13 20:55 UTC
Ncurses and Ada
2012-03-12 16:23 UTC (15+ messages)
open this link surprise 4 u
2012-03-12 14:35 UTC
online income 50000 per month
2012-03-12 5:08 UTC
ANN: Paraffin 3.1
2012-03-11 20:54 UTC
C++ on the Down Slope?
2012-03-09 7:22 UTC (5+ messages)
Fun with History: “Why wasn't Ada83 object oriented?”
2012-03-09 2:20 UTC (10+ messages)
` Re=Fun_with_History why_wasnt_Ada83_object_oriented
` Early availability of cheap Ada compilers (Was: Re=Fun_with_History why_wasnt_Ada83_object_oriented)
can GNATmem report a memory leak when, in fact, no leak exists - a false positive?
2012-03-09 1:03 UTC
Can I convert a string of letters into an array?
2012-03-08 14:04 UTC (7+ messages)
Arbitrary Sandbox
2012-03-08 11:01 UTC (4+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox