messages from 2010-07-18 10:15:50 to 2010-07-29 15:34:43 UTC [more...]
What is your preferred VCS?
2010-07-29 15:34 UTC (6+ messages)
The state of functional programming
2010-07-29 15:20 UTC (11+ messages)
Float conversion
2010-07-29 15:10 UTC (6+ messages)
Sharing generic bodies across instantiations
2010-07-29 14:40 UTC (27+ messages)
Interfacing Ada with C
2010-07-29 9:19 UTC (54+ messages)
` team-ada (was e: "
Building SPARK GPL with an open toolchain
2010-07-28 22:43 UTC
ANN: GtkAda contributions v2.8
2010-07-28 19:40 UTC
matrix package with Ada
2010-07-28 0:51 UTC (15+ messages)
Simple Hack To Get $2500 To Your PayPal Account
2010-07-27 15:12 UTC
compiler settings in AdaGIDE
2010-07-27 15:11 UTC (33+ messages)
` Making measurements (Was: compiler settings in AdaGIDE)
` Making measurements
KISS4691, a potentially top-ranked RNG
2010-07-27 10:19 UTC (4+ messages)
I GOT $2,000 FROM ' PAYPAL'
2010-07-26 14:32 UTC
books on numerical programming in Ada
2010-07-26 13:38 UTC (5+ messages)
Learning Ada
2010-07-25 20:33 UTC (3+ messages)
Dhrystone
2010-07-24 15:24 UTC (5+ messages)
Elaboration query
2010-07-23 14:52 UTC (3+ messages)
finding an example about possible conflicts and modelling them using VDM
2010-07-22 10:53 UTC
SPARK - an idea for high integrity data structures
2010-07-22 10:14 UTC (8+ messages)
The Ada Connection - 20-24 June 2011, Edinburgh, UK
2010-07-21 14:21 UTC
S'Is_nan or S'Is_inf?
2010-07-20 16:20 UTC (11+ messages)
Determining value of record discriminant
2010-07-20 8:53 UTC (4+ messages)
Why so hard to come up with a simple embedded Ada system?
2010-07-19 23:00 UTC (16+ messages)
Dispatching confusion
2010-07-18 15:06 UTC (3+ 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