messages from 2017-06-26 13:06:30 to 2017-07-07 23:14:13 UTC [more...]
Convert chars_ptr to Ada String
2017-07-07 23:14 UTC (4+ messages)
OpenToken : accessing the lexeme from synthetize
2017-07-07 21:31 UTC (4+ messages)
GNAT vs UTF-8 source file names
2017-07-07 21:02 UTC (22+ messages)
GNAT GPL 2017 X86-64 GNU Linux (64 bits)
2017-07-07 18:28 UTC (5+ messages)
Unhandled Exception in Tartan generated code for M68040
2017-07-07 16:09 UTC (3+ messages)
Emacs ada-mode users; drop Emacs 24.2 support?
2017-07-06 17:04 UTC (4+ messages)
Ada Annoyances
2017-07-05 20:03 UTC (83+ messages)
[BBC] Programmers who use spaces 'paid more'
2017-07-05 18:36 UTC (3+ messages)
Strict aliasing, is it OK?
2017-07-05 9:49 UTC (11+ messages)
derived formal types and known discriminants
2017-07-04 17:34 UTC (14+ messages)
Microsoft UWP/WinRt
2017-07-03 10:14 UTC (4+ messages)
` JEDI, Win32Ada and GNAT-COM
cobegin ... coend
2017-07-03 0:17 UTC (3+ messages)
bug compiler ?
2017-07-02 16:43 UTC (10+ messages)
Puzzled by SPARK global aspect
2017-07-02 0:59 UTC (5+ messages)
ANN: GNAT GPL 2017 for arm-eabi on macOS
2017-07-01 13:19 UTC
State of the compiler market
2017-07-01 9:17 UTC (38+ messages)
Announce : Qt5Ada version 5.9.0 (541 packages) release 01/06/2017 free edition
2017-07-01 9:06 UTC (3+ messages)
Announce: VTKAda version 8.0.0 release 01/07/2017
2017-07-01 9:02 UTC
I never did shit in prgramming but bash n some lisp, can ada make me rich?
2017-06-30 20:50 UTC (3+ messages)
Ada wikibook help needed (O-O)
2017-06-30 15:34 UTC (3+ messages)
R/W hardware registers ?
2017-06-30 15:17 UTC (5+ messages)
Can't work out how to use with Ada.Numerics.Discrete_Random with SPARK 2014
2017-06-30 11:38 UTC (3+ messages)
is gnoga open sourcce?
2017-06-30 0:33 UTC
gnat-2017 - ZFP add tasking support
2017-06-29 17:15 UTC (8+ messages)
Question: Controlled data and user disconnection interaction (Gnoga)
2017-06-29 13:06 UTC (2+ messages)
send email
2017-06-28 9:25 UTC
gnat-gps for Fedora 25
2017-06-27 13:40 UTC (4+ messages)
Ada.Containers.Vectors
2017-06-27 6:15 UTC (3+ 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