messages from 2019-01-30 23:13:34 to 2019-02-20 17:00:38 UTC [more...]
ANN: MAX! home automation v2.15
2019-02-20 17:00 UTC (9+ messages)
Make with Ada 2019 : DogRobot
2019-02-20 15:27 UTC (11+ messages)
Private extension of a synchronized interface
2019-02-20 15:04 UTC (28+ messages)
Ada 202x and square brackets
2019-02-20 14:58 UTC (5+ messages)
Error in draft 17 grammar
2019-02-20 9:54 UTC (5+ messages)
Is this a gnat problem?
2019-02-19 22:47 UTC (5+ messages)
Florist is in Ada !
2019-02-19 16:10 UTC
How To Create And Use Memory Map Files
2019-02-19 9:26 UTC (10+ messages)
Alignment issue
2019-02-18 23:01 UTC (2+ messages)
Ada programmers: Luke A. Guest - interview
2019-02-18 22:56 UTC (4+ messages)
Warborg 2020 - transitioning from 2015 with GtkAda
2019-02-18 14:01 UTC (3+ messages)
gnat_regpat and unexpected handling of alnum and unicode needed
2019-02-17 13:21 UTC (5+ messages)
GNAT proposal: note on implicit exceptions insertion
2019-02-16 16:15 UTC (19+ messages)
Hows gnoga.com? I notice ti won't load on windows!! whats up with that?
2019-02-15 13:50 UTC
Errors using gtk.font_button in gtkada (gtk3)
2019-02-14 23:31 UTC (8+ messages)
Mixing public and private member of a class. Dealing with what to hide and not
2019-02-14 18:04 UTC (6+ messages)
Ada x <whatever> Datagram Sockets
2019-02-12 11:35 UTC (34+ messages)
Best documents on software architecture
2019-02-10 1:56 UTC (9+ messages)
Ada Visual Studio Integration
2019-02-09 5:27 UTC (5+ messages)
UPDATE: Awesome-Ada
2019-02-07 19:07 UTC
NVIDIA announcement about Ada & SPARK
2019-02-07 18:36 UTC (2+ messages)
Gnat Sockets - Obtaining all the home addresses
2019-02-07 8:58 UTC
Yet another gnat bug
2019-02-06 10:53 UTC (21+ messages)
Trying to install the latest GtkAda for Mac on Mojave using Community 2018
2019-02-04 15:44 UTC (5+ messages)
Tracing a race condition
2019-02-02 20:52 UTC (2+ messages)
Ravenscar References
2019-02-02 2:13 UTC (6+ messages)
VTKAda 8.2.0
2019-02-01 19:19 UTC
Ada.Interrpts.Names
2019-02-01 18:33 UTC (7+ messages)
Ada and Containers
2019-01-30 23:13 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