messages from 2022-07-24 09:47:35 to 2022-09-16 19:26:28 UTC [more...]
ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022
2022-09-16 19:26 UTC
XCode 14 and FSF gnat-12.1.0-1
2022-09-16 19:03 UTC (7+ messages)
Non-standard functions in GNAT's Ada.Containers packages?
2022-09-16 18:53 UTC (15+ messages)
yet another Ada web site?
2022-09-16 18:49 UTC (12+ messages)
SIGAda Awards Nominations -- Due Sept. 20, 2022
2022-09-13 19:38 UTC
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 (65+ 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
About procedures and functions in Ada Pure packages. Thanks!
2022-08-21 21:49 UTC (3+ messages)
alire crate bug report/fix process?
2022-08-21 18:44 UTC (2+ messages)
ANN: Simple Components v4.64
2022-08-19 9:44 UTC
Adjust primitive not called on defaulted nonlimited controlled parameter, bug or feature ?
2022-08-18 4:04 UTC (5+ messages)
ANN: Simple Components v4.63
2022-08-05 12:38 UTC
ANN: Strings Edit v3.8
2022-08-05 12:36 UTC
headers
2022-07-31 23:24 UTC
License for small Ada.* complements
2022-07-31 8:48 UTC (16+ messages)
Bugged Multiway_Tree package?
2022-07-29 4:36 UTC (2+ messages)
Good news
2022-07-27 5:22 UTC (2+ messages)
Linter Ada for Visual Studio Code? Very Very Very Thanks!
2022-07-26 12:22 UTC (4+ messages)
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox