messages from 2021-03-17 13:17:04 to 2021-04-15 12:43:20 UTC [more...]
Does Ada have an official logo/icon ?
2021-04-15 12:43 UTC
How to install GtkAda
2021-04-15 11:47 UTC (6+ messages)
? How get/use a 'type' from a Ada shared library loaded at run time (plugin) ?
2021-04-15 9:47 UTC (3+ messages)
GtkAda question
2021-04-14 21:05 UTC (13+ messages)
RAPID
2021-04-12 21:51 UTC (7+ messages)
[ANN] UXStrings package available (UXS_20210207)
2021-04-11 8:45 UTC (5+ messages)
` [ANN] UXStrings package available (UXS_20210405)
GtkAda : Trying to derive a widget
2021-04-09 13:37 UTC (9+ messages)
[ANN] Ada IRC channel on Freenode
2021-04-08 14:28 UTC (7+ messages)
Ann: HAC v.0.095
2021-04-08 8:26 UTC (2+ messages)
Are there any cross-compiler for Embedded Linux on ARMv7?
2021-04-07 19:24 UTC (19+ messages)
GNAT LLVM, ACATS
2021-04-07 10:58 UTC
SweetAda 0.3 released
2021-04-06 16:09 UTC
Did I find a bug here?
2021-04-03 12:37 UTC (7+ messages)
Performance of records with variant parts
2021-04-02 16:07 UTC (24+ messages)
Did I find a bug here?
2021-04-02 6:15 UTC
Adapting an Ada compiler to generate 8051 code (Again?! ;-)
2021-04-02 0:41 UTC (32+ messages)
Elaboration code, aggregates
2021-03-30 7:08 UTC (8+ messages)
Status of AdaControl
2021-03-26 21:25 UTC (3+ messages)
Formal methods
2021-03-25 22:29 UTC (2+ messages)
surprise data from Ada.Sequential_IO
2021-03-23 9:18 UTC (8+ messages)
array from static predicate on enumerated type
2021-03-23 3:43 UTC (31+ messages)
Ada and "early return" - opinion/practice question
2021-03-20 13:41 UTC (11+ messages)
ANN: SparForte 2.4 released
2021-03-20 13:00 UTC
unknown error mesage
2021-03-18 17:34 UTC (12+ messages)
AdaStudio 2020
2021-03-18 10:46 UTC (4+ messages)
GDB problem
2021-03-18 1:40 UTC (5+ messages)
Attempting to create file i task
2021-03-17 20:13 UTC (16+ 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