messages from 2017-05-06 12:58:15 to 2017-06-03 14:25:23 UTC [more...]
ASIS2XML 20170603
2017-06-03 14:25 UTC
Ada, Windows x64 building
2017-06-03 5:27 UTC (4+ messages)
Microsoft UWP/WinRt
2017-06-02 21:11 UTC (7+ messages)
Preventing private procedure visibility being made public through extension
2017-06-02 11:31 UTC (40+ messages)
Announce : Qt5Ada version 5.9.0 (541 packages) release 01/06/2017 free edition
2017-06-01 5:39 UTC
[OT]
2017-05-31 14:51 UTC
GNAT gives message: No source file named xxx.adb when trying to set breakpoint in GPS
2017-05-29 13:06 UTC (3+ messages)
avoiding builtin memset
2017-05-24 15:08 UTC (2+ messages)
A Simpler Find Tool
2017-05-22 3:19 UTC (5+ messages)
Ada-Europe 2017 - end of Mon 22 May = early registration ends
2017-05-21 19:22 UTC
Call for Participation: Automotive - Safety & Security 2017
2017-05-20 18:25 UTC
ANN: GCC 7.1.0 for arm-eabi
2017-05-20 15:49 UTC
hows gnoga? anyone got blog site etc up I can see?
2017-05-20 13:51 UTC (7+ messages)
Portable memory barrier?
2017-05-19 7:54 UTC (65+ messages)
Rust's temporal safety for Ada/SPARK
2017-05-17 21:21 UTC (21+ messages)
ANN: GCC 7.1.0 for macOS
2017-05-17 14:21 UTC (6+ messages)
Does SPARK support tasks?
2017-05-16 13:00 UTC (2+ messages)
Weird Bug in Get_Line
2017-05-14 21:49 UTC (5+ messages)
GPS - invoking GDB
2017-05-13 19:17 UTC
can ada do big financial apps?
2017-05-13 12:58 UTC (4+ messages)
Ada-Europe 2017 - early registration until May 22
2017-05-10 21:30 UTC
ACATS & dispatching priorities
2017-05-09 19:41 UTC (4+ messages)
ANN:Ada 2005 Math Extensions 20170427
2017-05-09 13:20 UTC (4+ messages)
Question about sets and expression
2017-05-09 11:15 UTC (12+ messages)
Many overlook the possibility sin(x,360.0) ?
2017-05-08 17:37 UTC (9+ messages)
Tasking and Concurrent Programming Using Multiple Ada Programs
2017-05-07 19:32 UTC (4+ messages)
raised PROGRAM_ERROR : XXXXXX finalize/adjust raised exception
2017-05-07 19:19 UTC (10+ 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