messages from 2013-08-12 17:03:14 to 2013-08-28 14:08:38 UTC [more...]
Object Pascal vs Ada -- which is better for a hobbyist?
2013-08-28 14:08 UTC (36+ messages)
` Web-UI for Ada applications (Was: Object Pascal vs Ada -- which is better for a hobbyist?)
` Web-UI for Ada applications
Ada advocacy
2013-08-28 14:07 UTC (22+ messages)
Anonymous access types are evil, why?
2013-08-28 11:49 UTC
Gnat 2013 is out!
2013-08-28 7:35 UTC (6+ messages)
RTS graph and "temporal formulas"
2013-08-27 12:44 UTC (26+ messages)
[GNAT] compiler options ignored for sources from ADA_INCLUDE_PATH
2013-08-27 12:42 UTC (7+ messages)
The “Ada 2012” logo: what's its status?
2013-08-27 2:31 UTC (4+ messages)
library/binding for sftp?
2013-08-26 21:21 UTC (30+ messages)
Q: SPARK: visibility of private child in parent's body
2013-08-25 22:00 UTC (3+ messages)
Contraint error when "out" parameter has incorrect initial content
2013-08-25 16:47 UTC (5+ messages)
Introducing Comfignat
2013-08-24 8:34 UTC (8+ messages)
` Crash problem with GNAT in Fedora 18 (was: Introducing Comfignat)
` Crash problem with GNAT in Fedora 18
Mealy machines, temporal logic, and Moore
2013-08-23 18:27 UTC
Access check failed without using the word "access" in source
2013-08-22 15:40 UTC (2+ messages)
www.prevayler.org in ada?
2013-08-20 20:29 UTC (4+ messages)
Release of the Collaboration Package Version 1.0.1a
2013-08-20 5:07 UTC (3+ messages)
Hash Type Size
2013-08-19 22:29 UTC (5+ messages)
What's the cause of extra new line with Text_IO when program exit
2013-08-19 21:58 UTC (5+ messages)
Tools for formal verification
2013-08-19 12:48 UTC (2+ messages)
(GNADE) Access attribute not allowed in generic body
2013-08-18 13:40 UTC (10+ messages)
Low-level programming in Ada?
2013-08-18 9:26 UTC (12+ messages)
collect2: ld returned 1 exit status
2013-08-16 6:55 UTC (4+ messages)
any aws sites I can check out? any forums?
2013-08-16 3:20 UTC
GNAT Allocation of a very large record
2013-08-16 1:18 UTC (7+ messages)
Ada 2012 talk at DANSAS'13
2013-08-15 17:18 UTC (5+ messages)
` SPARK vs. Ada 2012 for static analysis (Was: Ada 2012 talk at DANSAS'13)
` SPARK vs. Ada 2012 for static analysis
problem when 'make' gnatcoll in windows using mingw
2013-08-15 6:22 UTC (4+ messages)
Binding gtkextra and gtkada windows xp
2013-08-15 3:24 UTC (3+ messages)
Experimental Continuous Integration system for open source Ada projects
2013-08-14 13:19 UTC (3+ messages)
Questions on Storage Pools
2013-08-14 7:40 UTC (6+ messages)
GNAT GPL 2013 bug?
2013-08-13 6:43 UTC (13+ messages)
Q: Binding tasks to CPU's seems not to work with Task_Info pragma?!
2013-08-13 5:15 UTC (7+ messages)
Generics and Child Packages
2013-08-12 21:58 UTC (5+ messages)
4 beginner's questions on the PL Ada
2013-08-12 20:13 UTC (25+ 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