messages from 2020-05-05 11:33:06 to 2020-05-26 10:21:13 UTC [more...]
Ada in code art
2020-05-26 10:21 UTC
Implicit actions & program correctness
2020-05-26 9:55 UTC (14+ messages)
recommended blog sites/software?
2020-05-25 19:59 UTC (11+ messages)
preconditions rock
2020-05-25 17:14 UTC (4+ messages)
AdaCore GNAT Community Edition 2020 arrived
2020-05-25 12:30 UTC (5+ messages)
Will GLOBE_3D/OpenGLAda be OK under Wayland ?
2020-05-25 4:14 UTC (3+ messages)
Not to incite a language war but apparently the Corona lockdown was based on 13 year old undocumented C-Code
2020-05-24 21:04 UTC (44+ messages)
Contracts for protected objects: internal call cannot appear in precondition of protected operation
2020-05-24 5:27 UTC
Request for WG 9 participation and Ada 202x draft standard review
2020-05-22 20:43 UTC
GNAT GPS Error message
2020-05-22 7:46 UTC
ISAM
2020-05-22 7:39 UTC (4+ messages)
Q: How to inherit methods from parent tagged object?
2020-05-21 14:20 UTC (3+ messages)
Ann: HAC v.0.06 - Text File I/O
2020-05-20 15:17 UTC (7+ messages)
Image attribute (yet again)
2020-05-20 1:52 UTC (5+ messages)
generic provokes segmentation fault
2020-05-18 21:30 UTC (9+ messages)
Gnu Emacs Ada mode 7.1.1 released
2020-05-18 0:13 UTC (3+ messages)
ANN: GCC 10.1.0 for macOS
2020-05-16 17:27 UTC (3+ messages)
Xlib, (GLX or EGL), OpenGL. Stuck at double buffering not working properly
2020-05-16 5:51 UTC (4+ messages)
PEmicro probe
2020-05-15 17:50 UTC (8+ messages)
A Gtk/GtkAda and Glade question
2020-05-15 9:17 UTC (5+ messages)
GNOGA - RFC UXStrings package
2020-05-12 9:35 UTC (4+ messages)
Where to find Ada GTK example programs to try?
2020-05-10 19:40 UTC (11+ messages)
` Game programming in Ada (was: Where to find Ada GTK example programs to try?)
How can one record component be local and another not?
2020-05-10 15:10 UTC (39+ messages)
How to convert a certain value to text
2020-05-10 7:30 UTC (7+ messages)
Beginning Ada Programming, by Andrew T. Shvets (2020)
2020-05-09 12:39 UTC (3+ messages)
ANN: Simple Components v4.49
2020-05-09 9:32 UTC (2+ messages)
Ann: HAC v.0.05
2020-05-07 10:09 UTC
Why not more talk of gnoga.com to take on java and .net crap?
2020-05-07 3:39 UTC
what latest with GNOGA? anyone got some high profit big traffic sites?
2020-05-07 3:39 UTC (2+ messages)
Ravenscar - release multiple tasks when an event occurs
2020-05-05 17:02 UTC (12+ 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