messages from 2019-05-14 17:08:07 to 2019-06-07 01:42:05 UTC [more...]
Toy computational "benchmark" in Ada (new blog post)
2019-06-07 1:42 UTC (8+ messages)
Why .ads as well as .adb?
2019-06-06 22:08 UTC (49+ messages)
Create and Append_File
2019-06-06 21:24 UTC (2+ messages)
C++ diaries
2019-06-06 16:54 UTC (2+ messages)
GNAT Community 2019 is here!
2019-06-05 13:15 UTC
Which embedded devices do you use?
2019-06-05 11:22 UTC (10+ messages)
Press Release - Reliable Software Technologies, Ada-Europe 2019
2019-06-04 22:21 UTC
No symbol table loaded - GNAT Community 2019
2019-06-04 19:13 UTC (8+ messages)
UPDATE: Awesome-Ada
2019-06-04 13:56 UTC (4+ messages)
Some Basic Information Needed
2019-06-01 21:17 UTC (3+ messages)
References vs access types
2019-05-31 23:56 UTC (5+ messages)
old problem
2019-05-31 12:37 UTC (4+ messages)
GNAT CE 2019 macOS
2019-05-30 20:33 UTC (3+ messages)
Ada 95 Timers: Any Alternatives Available, Storage, Efficiency, Reliability, Accuracy, Et Cetera Issues?
2019-05-30 16:20 UTC (3+ messages)
Needed - Ada 2012 Compiler
2019-05-30 11:59 UTC (19+ messages)
gnoga.com not work on windows and is now down even when I try on freebsd firefox
2019-05-30 2:34 UTC (2+ messages)
SPARK and Ada books and journals I no longer require
2019-05-29 18:23 UTC (5+ messages)
can ada do this?
2019-05-29 18:22 UTC (12+ messages)
Suggestions needed to split a package
2019-05-24 21:21 UTC (4+ messages)
Ada to Ada Translator ?
2019-05-23 12:29 UTC (41+ messages)
How to put main procedure in SPARK_Mode?
2019-05-21 16:56 UTC (5+ messages)
ANN: GCC 9.1.0 for macOS
2019-05-21 10:36 UTC (6+ messages)
World Metrology Day
2019-05-20 16:51 UTC
constructor in abstract tagged types
2019-05-18 11:43 UTC (7+ messages)
ANN: VisualAda (Ada Integration for Visual Studio 2017 & 2019) release 1.2.1
2019-05-18 7:30 UTC (2+ messages)
whos making money off a ada powered web site or app?
2019-05-17 2:04 UTC
Ada-Europe 2019 - early registration until May 20
2019-05-16 6:28 UTC
ANN: GtkAda Contributions v3.24
2019-05-14 17:08 UTC
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