messages from 2017-02-24 08:41:29 to 2017-03-20 09:44:31 UTC [more...]
Interfaces.C questions
2017-03-20 9:44 UTC (17+ messages)
[Spark] Proving GCD
2017-03-17 17:16 UTC (6+ messages)
[Spark] Proving GCD
2017-03-17 9:07 UTC (3+ messages)
Getting the index for an element in mutually referencing containers
2017-03-16 9:04 UTC (33+ messages)
"Ada for Automation" in the CAN Newsletter magazine March 2017: 25th anniversary
2017-03-15 3:32 UTC (6+ messages)
Could you write a BSD like os in ADA?
2017-03-14 23:12 UTC (20+ messages)
` VMS and C/Ada, was: "
Doom 3 Is Being Rewritten In Ada
2017-03-14 19:59 UTC (8+ messages)
Gtk Combobox under Ubuntu
2017-03-14 16:38 UTC (3+ messages)
[AdaControl] Limiting where objects of a specific type can be declared
2017-03-14 13:47 UTC (2+ messages)
About real-time OSs
2017-03-14 1:43 UTC
ANN: Simple Components for Ada v4.20
2017-03-13 15:22 UTC (12+ messages)
Mixing Ada code with similar licenses
2017-03-11 9:05 UTC
Proving A Loop will Terminate in SPARK Question
2017-03-09 15:13 UTC (2+ messages)
inherited discriminant not allowed here
2017-03-09 10:10 UTC (3+ messages)
Can't access record attribute in derived type
2017-03-08 22:35 UTC (13+ messages)
NASA Releases Tons Of Free, Open Source Software, Here’s How To Get Them
2017-03-08 13:58 UTC (2+ messages)
State of the compiler market
2017-03-08 10:26 UTC (46+ messages)
` Adacore and licensing (again), was: "
Interface Units for Standalone Libraries and units with'ed by the body
2017-03-04 15:15 UTC (6+ messages)
Unikernel / Ada
2017-03-04 12:15 UTC (10+ messages)
Program exits upon calling Gtk.File_Chooser_Dialog
2017-03-04 8:59 UTC
Please - has anyone got a mixed Ada/C++ sample project they could share?
2017-03-03 13:40 UTC (6+ messages)
Gnat Ada on OpenVMS is back
2017-03-03 13:25 UTC (6+ messages)
TDM GCC website appears to be broken
2017-02-28 5:12 UTC (3+ messages)
Interrupts, Signals, and Events
2017-02-27 20:47 UTC (2+ messages)
What happenned to .NET, Java and x86 linux compilers?
2017-02-27 14:14 UTC (2+ messages)
Ada Reference Manual 2012 with Technical Corrigendum 1 in info format available
2017-02-24 15:32 UTC (5+ messages)
vim and syntax highlight + indentation
2017-02-24 8:41 UTC
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