messages from 2018-06-01 05:57:28 to 2018-06-11 19:57:47 UTC [more...]
GNAT Community Edition 2018
2018-06-11 19:57 UTC (34+ messages)
Maintenance AdaControl Thales
2018-06-11 10:09 UTC
ANN: Cortex GNAT RTS 20180607
2018-06-09 10:57 UTC (2+ messages)
Ann: Ada Bar Codes project launched
2018-06-09 10:34 UTC (6+ messages)
GNATCOLL JSON Parsing
2018-06-09 5:35 UTC (14+ messages)
Ada Successor Language
2018-06-08 20:38 UTC (55+ messages)
` Safety of user-defined operators (was: Ada Successor Language)
` Safety of user-defined operators
Sky89, Please post here !
2018-06-08 16:59 UTC (6+ messages)
I will stop from posting on this forum of ADA
2018-06-08 16:48 UTC
GNAT ASIS & pragmas
2018-06-08 14:58 UTC (2+ messages)
Generic formal type with 'Image
2018-06-07 21:26 UTC (8+ messages)
Some kind of repeating in Static_Predicate
2018-06-07 9:15 UTC (10+ messages)
Yet again about my programming philosophy
2018-06-07 3:03 UTC
how to read status of current_output
2018-06-06 20:28 UTC (8+ messages)
Interfaces.C.Strings chars_ptr memory management strategy
2018-06-05 12:42 UTC (12+ messages)
Header-only Ada libraries
2018-06-05 12:31 UTC (6+ messages)
"Plugin°-based code
2018-06-05 8:42 UTC (5+ messages)
` Plugin-based code
generating and compiling a very large file
2018-06-04 21:56 UTC (4+ messages)
Memory pools
2018-06-04 21:14 UTC (5+ messages)
Using interfaces
2018-06-04 9:32 UTC (9+ messages)
How to configure GNAT GPL on x86-64 Linux for ARM ELF development
2018-06-04 7:11 UTC (11+ messages)
How to find remote job as Ada-developer?
2018-06-04 6:49 UTC (3+ messages)
Trying to execute a command from inside of Ada
2018-06-04 6:44 UTC (3+ messages)
C++ vs. Ada: Which language is more strongly typed?
2018-06-04 0:25 UTC (4+ messages)
ASIS: Recognising type declarations from package Standard?
2018-06-02 16:30 UTC (3+ messages)
ANN: Simple components for Ada v4.29
2018-06-02 14:34 UTC
about inheritance of subtypes and entities (such as constants) related to a type in the same package
2018-06-01 15:27 UTC (22+ messages)
Strings with discriminated records
2018-06-01 15:20 UTC (19+ 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