messages from 2022-06-23 01:10:06 to 2022-09-01 10:02:43 UTC [more...]
Calling inherited primitive operations in Ada
2022-09-01 10:02 UTC (5+ messages)
Ada Monthly Meeting proposal
2022-09-01 8:35 UTC (5+ messages)
Carbon
2022-09-01 6:46 UTC (65+ 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 (5+ 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)
Ann: HAC v.0.2
2022-07-02 7:48 UTC (2+ messages)
SimpleComponents / MQTT
2022-07-01 13:22 UTC (5+ messages)
Gtk_Event_Box / Gtk_Fixed
2022-07-01 9:10 UTC (2+ messages)
New aggregates with Ada 2022
2022-07-01 5:20 UTC (38+ messages)
Ada/SPARK Crate Of The Year is back!
2022-06-28 12:55 UTC
[Ann] Adalog components
2022-06-27 16:23 UTC
overloading predefined operators
2022-06-25 6:21 UTC (6+ 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