messages from 2014-04-26 06:42:24 to 2014-05-13 04:59:28 UTC [more...]
Weird error with Dynamic_Predicate
2014-05-13 4:59 UTC (7+ messages)
Safety of unprotected concurrent operations on constant objects
2014-05-13 4:50 UTC (76+ messages)
` Safety of unprotected concurrent operations on constant objects (was: Safety of unprotected concurrent operations on constant objects)
Shouldn't there be a paragraph like 7.3.2(5/3) in 3.2.4?
2014-05-12 22:26 UTC (3+ messages)
ANN: GCC 4.9.0 for Mac OS X Mavericks
2014-05-12 19:34 UTC (14+ messages)
Boko Haram: vidéo des lycéennes enlevées
2014-05-12 18:26 UTC
Press Release - Ada 2012 Published in LNCS and as Free eBook
2014-05-12 14:35 UTC (2+ messages)
Variant record assignment fails discriminant check
2014-05-12 0:32 UTC (3+ messages)
any vidgames created in ada?
2014-05-11 22:34 UTC (2+ messages)
Ada and PL/pgSQL ?
2014-05-10 11:04 UTC (7+ messages)
<> syntax in generic formal_package_actual_part
2014-05-09 13:05 UTC (3+ messages)
Heartbleed
2014-05-08 19:22 UTC (40+ messages)
` Oberon and Wirthian languages (was: Heartbleed)
` Oberon and Wirthian languages
Noob question.. Autopromotion?
2014-05-07 16:13 UTC (6+ messages)
GNAT GPL 2014
2014-05-06 20:13 UTC
GTK and tasking (GNAT)
2014-05-06 12:43 UTC (15+ messages)
I'm a noob here
2014-05-06 10:47 UTC (13+ messages)
Air Traffic Control Issue
2014-05-05 23:27 UTC
19th Int.Conf. Reliable Software Technologies, Ada-Europe 2014
2014-05-04 19:26 UTC
How to declare a generic formal type "covered" by another?
2014-05-02 16:00 UTC (16+ messages)
Ada on Teensy 3.1?
2014-04-30 19:54 UTC (2+ messages)
Are values of non-limited actual type for a limited formal type built in place?
2014-04-30 15:23 UTC (2+ messages)
(SPARK Ada) Proving that bitwise and is associative?
2014-04-30 12:39 UTC (4+ messages)
Your wish list for Ada 202X
2014-04-29 19:42 UTC (9+ messages)
GLIBC_2.14 memcpy
2014-04-28 12:23 UTC (6+ 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