messages from 2022-07-03 21:39:26 to 2022-09-11 06:58:45 UTC [more...]
Question about alire
2022-09-11 6:58 UTC (3+ messages)
on Ada abtract data type vs. OOP
2022-09-09 15:30 UTC (7+ 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 (70+ messages)
Ada Monthly Meeting proposal
2022-09-01 8:35 UTC (5+ messages)
yet another Ada web site?
2022-08-28 10:26 UTC (7+ 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)
No Free GNAT 2022
2022-07-17 12:51 UTC (7+ messages)
Which site to upload software?
2022-07-16 21:40 UTC (6+ messages)
deferred constants
2022-07-12 14:45 UTC (14+ messages)
` RegEx / rename of a function result
` RegEx / rename of a function resultRig
Gnu Emacs Ada mode 7.3.beta released
2022-07-12 14:31 UTC
Safe to ignore warnings about function mistaken as primitive?
2022-07-11 13:17 UTC (4+ messages)
SPARK and pragma Export
2022-07-11 10:05 UTC
max line length
2022-07-06 10:35 UTC (7+ messages)
too much spaces with Gtk.Button.Set_Image
2022-07-05 3:18 UTC (2+ 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