messages from 2015-07-21 19:36:46 to 2015-07-29 18:52:23 UTC [more...]
If not Ada, what else
2015-07-29 18:52 UTC (69+ messages)
` Assertions in SPARK (Was: If not Ada, what else...)
Running a preprocessor from GPS?
2015-07-29 18:49 UTC (37+ messages)
ANN: GNAT GPL 2015 Atmel SAM4S Ravenscar patches
2015-07-29 18:35 UTC (5+ messages)
Pascal to ADA Converter
2015-07-29 16:03 UTC (6+ messages)
is gonga going to dominate the web still? glen hinkle vid interesting
2015-07-29 13:28 UTC (3+ 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 (41+ 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