messages from 2015-07-21 11:17:33 to 2015-07-29 15:41:15 UTC [more...]
If not Ada, what else
2015-07-29 15:41 UTC (78+ messages)
` Assertions in SPARK (Was: If not Ada, what else...)
Pascal to ADA Converter
2015-07-29 14:59 UTC (5+ messages)
is gonga going to dominate the web still? glen hinkle vid interesting
2015-07-29 13:28 UTC (3+ messages)
Running a preprocessor from GPS?
2015-07-29 12:00 UTC (35+ messages)
ANN: GNAT GPL 2015 Atmel SAM4S Ravenscar patches
2015-07-29 6:57 UTC (2+ messages)
Handling transactions?
2015-07-29 6:51 UTC (12+ messages)
Why does `Unchecked_Deallocation` need the access type?
2015-07-29 6:28 UTC (8+ messages)
Ann: Ada packages on Archlinux updated to GPL15
2015-07-28 18:16 UTC (4+ messages)
Doing Ada right?
2015-07-28 17:38 UTC (7+ messages)
Survey of Programers' Impressions of the Ada Language
2015-07-28 1:16 UTC
Incompatible types for array conversion
2015-07-27 23:12 UTC (14+ messages)
Source code of Stepanov's generic algorithms?
2015-07-27 22:35 UTC (5+ messages)
New Gnoga demo
2015-07-27 22:11 UTC (4+ messages)
What is the purpose of Vector.Query_Element?
2015-07-27 20:12 UTC (3+ messages)
Ada Distilled 2012
2015-07-27 19:43 UTC (4+ messages)
GPS doesn't see system libraries
2015-07-27 18:22 UTC (4+ messages)
Self-modifying code
2015-07-27 11:29 UTC (2+ messages)
Weakness of Ada is expensive / security / etc. ? Anything else?
2015-07-27 1:18 UTC (42+ messages)
Does `pragma inline` work when instantiating generic code?
2015-07-26 18:21 UTC (2+ messages)
Getting types from a generic container in Ada?
2015-07-26 17:36 UTC (2+ messages)
GNAT GPS (ERROR:root:Could not find any typelib for)
2015-07-26 16:56 UTC
How do you specialize a generic function from a nested function?
2015-07-26 9:09 UTC (2+ messages)
Gnatcoll SQL questions
2015-07-23 19:23 UTC (2+ messages)
Returning a string from C
2015-07-23 7:17 UTC (6+ messages)
Question about the package "Strings_Edit"
2015-07-22 17:24 UTC (4+ 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