messages from 2018-03-15 22:24:05 to 2018-03-27 23:58:36 UTC [more...]
Ada-Oriented GUI
2018-03-27 23:58 UTC (78+ messages)
` Killing software and certification (was: Ada-Oriented GUI)
` Killing software and certification
Ann: Mathpaqs release 27-Mar-2018
2018-03-27 21:27 UTC
Overriding procedure as null
2018-03-27 20:26 UTC
representation clauses ok in generics when the formal type in tagged with known ancestor, but not ok when only know to be tagged ? ... said the compiler
2018-03-27 13:57 UTC (3+ messages)
TCP Server & Client
2018-03-25 19:17 UTC (3+ messages)
LLVM and Ada
2018-03-25 16:58 UTC (30+ messages)
Ada-Oriented GUI
2018-03-24 7:51 UTC (2+ messages)
Current recommendations for learning Ada?
2018-03-23 16:49 UTC (4+ messages)
grassroots level SPARK Initiation
2018-03-23 16:33 UTC (4+ messages)
When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int
2018-03-23 5:04 UTC (7+ messages)
ANN: AdaYaml 0.3.0
2018-03-22 20:38 UTC
GNAT 2016 and PolyORB
2018-03-22 16:49 UTC (4+ messages)
Ada Visual Studio Integration
2018-03-22 3:21 UTC (9+ messages)
little precision about anonymous access types
2018-03-21 22:46 UTC (8+ messages)
how to copy complete column (or row) of matrix to another?
2018-03-21 13:58 UTC (5+ messages)
time of update of new values for out mode parameters
2018-03-20 11:18 UTC (9+ messages)
Mathpaqs release 13-Mar-2018
2018-03-19 20:58 UTC (8+ messages)
Ada case-statement
2018-03-18 12:53 UTC (18+ messages)
GNAT corrupted builds with below second changes
2018-03-18 6:09 UTC (11+ messages)
YAML parser?
2018-03-17 9:51 UTC (8+ messages)
controlled types and point of instanciation
2018-03-17 0:54 UTC (6+ messages)
Fun with trampolines
2018-03-17 0:11 UTC (5+ messages)
GNAT implementation of RPC (Annex E)
2018-03-17 0:07 UTC (2+ messages)
Embeddinator-4000 begetting an Ada-cross-platform future?
2018-03-16 15:35 UTC (9+ messages)
how do do with IDE ? Do they really suck or do I do not know how to handle GPS ?
2018-03-16 10:26 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