messages from 2012-02-21 14:58:09 to 2012-03-05 18:30:48 UTC [more...]
Any leap year issues caused by Ada yesterday?
2012-03-05 18:30 UTC (5+ messages)
ADTs C to Ada
2012-03-05 16:58 UTC (5+ messages)
Ada presentations at Open Source Days in Copenhagen
2012-03-05 16:36 UTC (9+ messages)
SPARK loop VCs that go "one beyond" the loop?
2012-03-04 19:44 UTC (3+ messages)
earn money
2012-03-04 5:04 UTC
HOT DATING LINKS & HOT ACTRESS GALLERY
2012-03-03 9:05 UTC
Using dll from a C# code
2012-03-02 21:17 UTC (14+ messages)
Array Help?
2012-03-02 13:45 UTC (35+ messages)
gdb problem with gnat gpl 2011 (drawin_64) on OS X Lion (10.7.3)
2012-03-02 10:39 UTC (3+ messages)
Question about GNAT project files
2012-02-29 17:17 UTC (17+ messages)
SPARK question: discharging post-conditions
2012-02-29 17:14 UTC (2+ messages)
Crossrail TBM (Tunnel Boring Machine) names
2012-02-29 15:39 UTC (3+ messages)
Fun with History: “Why wasn't Ada83 object oriented?”
2012-02-27 20:27 UTC (22+ messages)
` Re=Fun_with_History why_wasnt_Ada83_object_oriented
Calling Ada from C (linux/gnat 4.3.2)
2012-02-28 16:28 UTC (2+ messages)
Banging the Ada Drum
2012-02-28 13:26 UTC (6+ messages)
Polyspace integration with AdaCore's GPS
2012-02-28 9:31 UTC
Constrained or Unconstrained Arrays or just my my Ignorance
2012-02-28 1:36 UTC (6+ messages)
AMAZING JUST JOIN TO THIS......... http://123maza.com/46/dos754/
2012-02-27 16:32 UTC
Question about out parameters of unconstrained array type
2012-02-27 15:32 UTC (15+ messages)
help building ada with glade
2012-02-26 8:36 UTC (9+ messages)
Convert wide_string to string (as the same byte array)
2012-02-24 22:58 UTC (3+ messages)
gnat executables
2012-02-24 19:31 UTC (8+ messages)
` gnat executables for Gtk Ada
Verified compilers?
2012-02-24 17:36 UTC (4+ messages)
ANN: SPARK: A red-black tree with correctness proofs
2012-02-24 17:16 UTC (6+ messages)
Beside of SPARK: how do you compare Alt-Ergo and Coq?
2012-02-23 19:08 UTC (4+ messages)
Windows LDAP group-user checking in Ada 95
2012-02-23 17:44 UTC (8+ messages)
Reference counting access type
2012-02-23 17:33 UTC (3+ messages)
hai dear this is special gift for uuuuuuu
2012-02-23 12:28 UTC
Arbitrary Sandbox
2012-02-22 8:26 UTC (22+ messages)
ali
2012-02-22 1:11 UTC
Arbitrary Sandbox
2012-02-21 21:03 UTC (3+ messages)
FSF GNAT 4.3.4 binaries for OpenBSD/amd64 5.0
2012-02-21 19:09 UTC
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