messages from 2018-05-06 13:47:59 to 2018-05-11 01:07:14 UTC [more...]
How to get Ada to “cross the chasm”?
2018-05-11 1:07 UTC (185+ messages)
` How to get Ada to 'cross the chasm'?
` How to get Ada to ?cross the chasm??
` How to get Ada to "cross the chasm"?
AI12-0218: What is the portable representation clause for processing IETF packets on little-endian machines?
2018-05-11 0:50 UTC (17+ messages)
Ada aunit examples
2018-05-10 20:39 UTC (4+ messages)
disruptors of & inventory of Ada compilers and latest their era of ISO8652 compliance
2018-05-10 20:24 UTC (13+ messages)
` Janus Ada 12 (was Re: disruptors of ...)
GNATCOLL 2016 installation problem
2018-05-10 8:56 UTC (4+ messages)
How to Download From PAL ?
2018-05-09 21:34 UTC (18+ messages)
I have just revolutionized computing
2018-05-09 17:13 UTC (2+ messages)
Ada-Europe 2018 - early registration until May 14
2018-05-08 21:40 UTC
Precisely why can't official FSF GNAT maintainers copy bug fixes in GNAT & its GCC-contained runtime en masse from GNAT GPL Community Edition?
2018-05-08 21:17 UTC (20+ messages)
Recommendation of safe subset of Ada to use?
2018-05-08 8:07 UTC (11+ messages)
Why not Coq2Ada program extraction?
2018-05-07 16:33 UTC (8+ messages)
Interesting article on ARG work
2018-05-07 8:41 UTC (12+ messages)
` Ada conditional compilation and program variants
Trait based containers
2018-05-07 7:14 UTC (5+ messages)
Ann: Ada PDF Writer v.004
2018-05-06 18:28 UTC (2+ 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