messages from 2019-04-23 07:44:27 to 2019-05-27 10:30:18 UTC [more...]
Needed - Ada 2012 Compiler
2019-05-27 10:30 UTC (2+ messages)
SPARK and Ada books and journals I no longer require
2019-05-27 5:49 UTC (4+ 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 (10+ messages)
ANN: VisualAda (Ada Integration for Visual Studio 2017 & 2019) release 1.2.1
2019-05-18 7:30 UTC (2+ messages)
can ada do this?
2019-05-18 0:42 UTC (15+ 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
ANN: Simple Components v4.40
2019-05-14 17:05 UTC
Anonymous Access and Accessibility Levels
2019-05-14 0:03 UTC (17+ messages)
Ada programmers: Edward Fish - interview
2019-05-12 18:25 UTC (12+ messages)
ANN: VisualAda (Ada Integration for Visual Studio 2017 & 2019) release 1.2.0
2019-05-11 14:23 UTC (22+ messages)
Ann: Gcc/GNAT 9.1 released - Test Results
2019-05-10 22:32 UTC (7+ messages)
24th Int.Conf. Reliable Software Technologies, Ada-Europe 2019
2019-05-09 5:47 UTC
Ada to webassembly
2019-05-08 17:09 UTC (3+ messages)
Ada programmers: Stéphane Carrez - interview
2019-05-07 20:20 UTC (3+ messages)
Boeing 737 and 737 MAX software
2019-05-06 15:12 UTC (12+ messages)
Ada on TV series "The Americans"
2019-05-06 15:10 UTC (2+ messages)
Ada-Belgium Spring 2019 Event, Sun 12 May 2019
2019-05-05 19:35 UTC
ANN: VisualAda (Ada Integration for Visual Studio 2017 & 2019) release 1.1.12
2019-05-05 8:40 UTC (23+ messages)
SVG Doctype using xmlada
2019-05-02 20:24 UTC (10+ messages)
Cannot Add adb or ads file to project in GPS 6.0.1
2019-04-30 8:17 UTC (3+ messages)
Q: Calendar and time zones
2019-04-30 0:58 UTC
Ann: Win32 and WinRT bindings update
2019-04-28 4:05 UTC
matrix manipulation
2019-04-27 22:45 UTC (6+ messages)
gnoga.com down?
2019-04-27 9:07 UTC
Why can't objects be static in Ada?
2019-04-23 14:30 UTC (7+ 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