messages from 2012-02-10 14:30:11 to 2012-02-21 15:42:41 UTC [more...]
Verified compilers?
2012-02-21 15:42 UTC
Windows LDAP group-user checking in Ada 95
2012-02-21 14:57 UTC (4+ messages)
Arbitrary Sandbox
2012-02-21 10:59 UTC (49+ messages)
Beside of SPARK: how do you compare Alt-Ergo and Coq?
2012-02-21 3:24 UTC
Convention for naming of packages
2012-02-20 0:21 UTC (85+ messages)
` Convention for naming of anything
LATEST HOT LINKS FOR YOUTH
2012-02-19 6:36 UTC
Ada 2012, ASIS and AdaControl
2012-02-17 22:18 UTC (4+ messages)
Fun with History: “Why wasn't Ada83 object oriented?”
2012-02-17 17:33 UTC (3+ messages)
` Fun with History: ³Why wasn't Ada83 object oriented?²
Web Development USA
2012-02-17 13:18 UTC
Reference counting access type
2012-02-17 0:00 UTC (2+ messages)
ANN: CUDA/Ada version 0.1
2012-02-16 16:40 UTC (5+ messages)
[Ann]: Ada Server Faces 0.3.0 is available
2012-02-14 22:18 UTC
ada without ada libraries?
2012-02-14 19:08 UTC (10+ messages)
Concurrency always is non-deterministic?
2012-02-14 18:23 UTC (14+ messages)
ANN: Interval arithmetic for Ada v1.10
2012-02-14 14:17 UTC (7+ messages)
ANN: Paraffin 2.4
2012-02-13 5:55 UTC (4+ messages)
Need Help On Ada95 Problem
2012-02-13 3:28 UTC (20+ messages)
SparForte 1.3 RC builds on new OS's
2012-02-12 19:35 UTC
will u sexchat with me
2012-02-12 10:35 UTC (3+ messages)
Ann: Zip-Ada v.42
2012-02-12 10:26 UTC (8+ messages)
ANN: Strings edit v2.7
2012-02-11 16:53 UTC
Arctan: to use with single or with double arguments?
2012-02-11 16:47 UTC (14+ messages)
Ann: GWindows installer, 11-Feb-2012
2012-02-11 15:05 UTC
Ada 2005, 2012 for Computer Architecture
2012-02-10 19:46 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