messages from 2010-07-20 08:53:35 to 2010-07-29 21:01:35 UTC [more...]
The state of functional programming
2010-07-29 21:01 UTC (16+ messages)
Sharing generic bodies across instantiations
2010-07-29 20:27 UTC (28+ messages)
Interfacing Ada with C
2010-07-29 20:25 UTC (56+ messages)
` team-ada (was e: "
GPS 2010 for AVR
2010-07-29 20:08 UTC (4+ messages)
Float conversion
2010-07-29 19:15 UTC (12+ messages)
What is your preferred VCS?
2010-07-29 16:08 UTC (9+ messages)
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 (14+ 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 (4+ messages)
Determining value of record discriminant
2010-07-20 8:53 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