messages from 2017-02-12 13:19:47 to 2017-03-13 17:50:39 UTC [more...]
Gtk Combobox under Ubuntu
2017-03-13 17:50 UTC
ANN: Simple Components for Ada v4.20
2017-03-13 15:22 UTC (12+ messages)
Getting the index for an element in mutually referencing containers
2017-03-13 10:29 UTC (24+ messages)
Doom 3 Is Being Rewritten In Ada
2017-03-12 20:16 UTC (6+ 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 (51+ messages)
` Adacore and licensing (again), was: "
"Ada for Automation" in the CAN Newsletter magazine March 2017: 25th anniversary
2017-03-06 21:09 UTC (5+ messages)
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
Relaxed and strict secondary stack management
2017-02-23 22:28 UTC
MAX! home automation v1.8
2017-02-23 3:40 UTC (2+ messages)
relax double parens in expression_function_declaration?
2017-02-22 23:00 UTC (9+ messages)
ANN: GtkAda contributions v3.18
2017-02-21 22:06 UTC
Lock-Free stack in Ada SPARK
2017-02-21 8:44 UTC (16+ messages)
ANN: Simple Components for Ada v4.19
2017-02-20 17:53 UTC
Can anyone help debug my lock-free queue based on "Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms"?
2017-02-19 5:15 UTC (2+ messages)
exception in create procedure of DIRECT_IO
2017-02-16 2:01 UTC (3+ messages)
Debian & gprinstall
2017-02-15 10:33 UTC (7+ messages)
I am not understanding user defined exceptions
2017-02-15 9:32 UTC (15+ messages)
[ANN] Muen development version 0.8 released
2017-02-14 9:02 UTC (4+ messages)
GDB vs macOS Sierra
2017-02-13 22:03 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