messages from 2015-04-23 15:41:50 to 2015-05-08 23:31:02 UTC [more...]
{Pre,Post}conditions and side effects
2015-05-08 23:31 UTC (48+ messages)
Validating XML using Ada schema module
2015-05-08 10:20 UTC (4+ messages)
Annoying behavior
2015-05-08 7:35 UTC (25+ messages)
` Textedit and txt
Polymorphism
2015-05-07 19:09 UTC (6+ messages)
getting same output as gfortran, long_float
2015-05-07 2:01 UTC (35+ messages)
Change in GCC 5.1.0
2015-05-06 21:29 UTC (5+ messages)
New Ada Mascot Image - Lady Ada with Lady Fairy
2015-05-06 13:31 UTC (7+ messages)
Q: tasks and recursion, binary tree
2015-05-06 12:27 UTC (2+ messages)
Boeing 787 integer overflow
2015-05-04 13:28 UTC (16+ messages)
Installing gnatcoll on Windows
2015-05-04 5:17 UTC (3+ messages)
open source ada binding to zwave
2015-05-03 18:45 UTC (8+ messages)
I just got my Ada mug
2015-05-03 17:29 UTC (8+ messages)
ANN: GCC 5.1.0 arm-eabi for Mac OS X
2015-05-01 15:24 UTC
ANN: GCC 5.1.0 for Mac OS X
2015-04-30 12:42 UTC (3+ messages)
ANN PCAB 0.1
2015-04-30 7:25 UTC (4+ messages)
Debugging Sound Issue with 2 Sound Cards on Windows 7: Any ideas out there?
2015-04-29 19:01 UTC (3+ messages)
Pipes-and-Filters
2015-04-29 18:05 UTC (4+ messages)
Ada on Cortex-M - tutorial progress
2015-04-29 16:57 UTC (2+ messages)
OpenToken 6.0 released
2015-04-28 15:54 UTC (25+ messages)
` Using Monotone to access the OpenToken sources (Was: OpenToken 6.0 released)
` Using Monotone to access the OpenToken sources
Questions about Gnat.sockets and raw socket
2015-04-28 10:21 UTC (7+ messages)
Technical Guides for the use of the Ada in high integrity systems
2015-04-27 20:01 UTC
Languages don't matter. A mathematical refutation
2015-04-26 11:38 UTC (8+ messages)
ANN:mosquitto-ada 0.0.1
2015-04-26 4:19 UTC (3+ messages)
ANN: STM32F4 GNAT Run Time Systems 20150406
2015-04-24 11:12 UTC (6+ 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