messages from 2022-08-25 17:55:29 to 2022-09-26 18:31:27 UTC [more...]
SIGAda Awards Nominations -- Due Sept. 20, 2022
2022-09-26 18:31 UTC (2+ messages)
` Please resend SIGAda Awards Nominations -- now due Sept. 30, 2022
A new universe of Ada
2022-09-26 18:12 UTC (18+ messages)
Compiler error (2) ?
2022-09-26 9:59 UTC (5+ messages)
MS going to rust (and Linux too)
2022-09-25 7:13 UTC (16+ messages)
yet another Ada web site?
2022-09-24 6:54 UTC (25+ messages)
` Move semantics (was: yet another Ada web site?)
` Move semantics
Ada 2022 Overview posted
2022-09-24 4:33 UTC (4+ messages)
XCode 14 and FSF gnat-12.1.0-1
2022-09-23 15:04 UTC (13+ messages)
No Free GNAT 2022
2022-09-21 12:11 UTC (5+ messages)
Alire can't decide system when "get-ing" eagle_lander demo
2022-09-19 18:31 UTC (2+ messages)
ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022
2022-09-16 19:26 UTC
Non-standard functions in GNAT's Ada.Containers packages?
2022-09-16 18:53 UTC (15+ messages)
Struggling to use fonts in SDLAda
2022-09-13 9:52 UTC (2+ messages)
Is this an error in compiler
2022-09-12 7:05 UTC (11+ messages)
on Ada abtract data type vs. OOP
2022-09-11 8:02 UTC (8+ messages)
Is this an error in compiler?
2022-09-11 7:27 UTC
Is this an error in compiler?
2022-09-11 7:21 UTC
Is this an error in compiler?
2022-09-11 7:16 UTC
Question about alire
2022-09-11 6:58 UTC (3+ messages)
Can GNAT Community projects be compiled to the Android platform?
2022-09-09 6:52 UTC (2+ messages)
COST Action about automatic theorem proving
2022-09-08 10:04 UTC
Calling inherited primitive operations in Ada
2022-09-07 0:51 UTC (37+ messages)
Carbon
2022-09-03 0:23 UTC (43+ messages)
Ada Monthly Meeting proposal
2022-09-01 8:35 UTC (5+ messages)
Ann: AZip v.2.50
2022-08-28 7:33 UTC
Ann: Zip-Ada v.58
2022-08-27 7:58 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