messages from 2020-07-05 09:37:20 to 2020-07-30 20:21:08 UTC [more...]
Ada.Text_IO.File_Type object with user defined Get and Put subprograms
2020-07-30 20:21 UTC
Proposal: Auto-allocation of Indefinite Objects
2020-07-30 18:28 UTC (15+ messages)
is there a version of unix written in Ada
2020-07-30 0:57 UTC (25+ messages)
AdaCore's survey regarding the future of GNAT Community Edition
2020-07-29 20:59 UTC (14+ messages)
Newbie questions re Unicode (1)
2020-07-29 15:26 UTC (18+ messages)
Product Release Announcement – PTC ObjectAda V10.2 for Windows
2020-07-28 13:50 UTC (2+ messages)
SweetAda 0.1e released
2020-07-28 13:32 UTC (16+ messages)
Product Release Announcement – PTC ApexAda v5.2 Embedded for Linux/Armv8 64-bit
2020-07-27 23:42 UTC
CLU and Alphard grammars available in HTML
2020-07-23 22:02 UTC
Two Ada-12 Vendors
2020-07-23 18:05 UTC (3+ messages)
Unable to use "Find all references" with GPS CE 2020 !?
2020-07-23 17:33 UTC (2+ messages)
My new post on dev.to about SPARK
2020-07-23 10:17 UTC (12+ messages)
'Number_Of_CPUs' tasks creation, with discriminants, running simultaneously
2020-07-22 19:05 UTC (5+ messages)
Ada Reference Manual info format 2020.1 released
2020-07-22 15:42 UTC (6+ messages)
Multiple Ada related jobs at Tampere, Finland
2020-07-22 9:38 UTC (4+ messages)
SweetAda 0.1 released
2020-07-16 11:58 UTC (49+ messages)
Fixed vs float and precision and conversions
2020-07-09 7:49 UTC (20+ messages)
SweetAda 0.1c released
2020-07-07 21:30 UTC
gnoga build fails on Mac
2020-07-07 15:37 UTC (15+ messages)
Question about best practices with numerical functions
2020-07-07 4:52 UTC (4+ messages)
Trying Gnoga
2020-07-06 14:17 UTC (4+ messages)
General circular buffer example not tied to any specific type
2020-07-06 11:07 UTC (12+ messages)
Gtkada link problem
2020-07-06 10:49 UTC (3+ 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