messages from 2011-01-10 19:24:11 to 2011-01-20 10:58:17 UTC [more...]
Thoughts on AdaCore maintaining GCC-incompatible GNAT sources
2011-01-20 10:58 UTC
AWS Coding Styles (and about boring plain-linear text files in the end)
2011-01-20 2:14 UTC (84+ messages)
seeking: Alsys Ada for Macintosh System 6
2011-01-19 11:08 UTC (2+ messages)
RNGs with periods exceeding 10^(40million)
2011-01-18 10:09 UTC (2+ messages)
[ANN] ssprep-1.5.6
2011-01-18 7:17 UTC (3+ messages)
Annoucing memcache-ada 0.1
2011-01-17 19:59 UTC (16+ messages)
SPARK: Problem with using constants in a post annotation
2011-01-17 16:13 UTC (8+ messages)
Generating PDFs with Ada
2011-01-16 21:05 UTC (64+ messages)
Question about round__ proof function in SPARK proofs
2011-01-16 13:47 UTC (3+ messages)
ANN: EWS 20110115
2011-01-16 12:31 UTC
Ada 95 entrants to ACM ICPC-ish programming contest
2011-01-14 17:36 UTC (5+ messages)
Announce : VTKAda version 5
2011-01-13 14:35 UTC (3+ messages)
PolyORB
2011-01-12 22:03 UTC (5+ messages)
XMLAda compilation
2011-01-12 21:21 UTC
GPS 4.4.1. ADA 95: Calling ASCII codes for ESC and display row colum control
2011-01-11 18:42 UTC (9+ messages)
Ncurse with ada
2011-01-11 10:08 UTC (2+ messages)
Open Source book about parallel computing
2011-01-10 19:39 UTC
safety critical automotive software
2011-01-10 19:24 UTC (5+ 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