messages from 2021-06-14 02:09:33 to 2021-07-29 10:29:03 UTC [more...]
Building the 2021 source release of GnatStudio
2021-07-29 10:29 UTC (8+ messages)
Gnat bug or mistaken program?
2021-07-29 0:46 UTC (9+ messages)
Ada and software testing
2021-07-28 15:28 UTC (12+ messages)
Not good for Ada endorsement
2021-07-23 17:55 UTC (38+ messages)
Problem with emacs ada-mode-7.1.4
2021-07-19 21:17 UTC (13+ messages)
Passing Range Parameters to new instance of unbounded, boxed <> array in Ada
2021-07-14 6:18 UTC (2+ messages)
calling function but ignoring results
2021-07-12 15:56 UTC (28+ messages)
ANN: Simple Components v4.57
2021-07-11 11:40 UTC
deferred constants
2021-07-08 14:18 UTC (8+ messages)
ANN: Archlinux 'gcc-ada-debug' AUR package
2021-07-05 4:17 UTC (3+ messages)
Hi! How I can make _indexed_ stream file Input/Output ? Thanks
2021-07-05 4:06 UTC (5+ messages)
Exercism.io needs Ada
2021-07-02 7:24 UTC (9+ messages)
New competition: Ada/SPARK Crate Of The Year Award
2021-06-30 12:47 UTC (3+ messages)
Any chance of programming a web frontend in Ada 2012?
2021-06-26 19:51 UTC (19+ messages)
` ASIS for Gnat (was: "
Call for Paper in CodeLand
2021-06-26 16:04 UTC
Ada domain names: who holds what, and for which purpose?
2021-06-24 18:27 UTC (2+ messages)
XMLAda & unicode symbols
2021-06-22 6:52 UTC (28+ messages)
Problem building GNAT CE 2021 on Mac Catalina
2021-06-20 11:57 UTC (8+ messages)
Unable to use "Find all references" with GPS CE 2020 !?
2021-06-18 11:02 UTC (5+ messages)
ANN: GNAT CE 2021 for Intel macOS
2021-06-17 18:45 UTC (2+ messages)
GNAT CE 2021 is out
2021-06-17 11:20 UTC (7+ messages)
non-preemptive tasking on GNAT 2020 Windows 10 multicore AMD
2021-06-16 0:10 UTC (14+ messages)
Adacore Blog - Going Beyond Ada 2022
2021-06-14 22:50 UTC (9+ messages)
ANN: SweetAda 0.8 released
2021-06-14 14:46 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