messages from 2013-08-17 17:54:30 to 2013-09-04 02:36:09 UTC [more...]
Formatting Re-opened Ciphertext Problem
2013-09-04 2:36 UTC (2+ messages)
Hash Type Size
2013-09-03 21:21 UTC (12+ messages)
B-tree performance
2013-09-03 17:43 UTC (11+ messages)
YAMI4 1.8.0 released
2013-09-03 9:30 UTC
Ada advocacy
2013-09-02 18:45 UTC (53+ messages)
Libre GPL 2012 on Mac OS-X to AVR target?
2013-09-01 16:03 UTC
Object Pascal vs Ada -- which is better for a hobbyist?
2013-09-01 3:48 UTC (42+ messages)
` Web-UI for Ada applications (Was: Object Pascal vs Ada -- which is better for a hobbyist?)
` Web-UI for Ada applications
www.prevayler.org in ada?
2013-09-01 0:20 UTC (6+ messages)
Ada.Containers.Hash_Type -> 64 bit
2013-08-31 0:55 UTC (4+ messages)
Anonymous access types are evil, why?
2013-08-30 17:04 UTC (9+ messages)
Triplestore in Ada
2013-08-30 15:45 UTC
Gnat 2013 is out!
2013-08-28 23:39 UTC (7+ 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)
Release of the Collaboration Package Version 1.0.1a
2013-08-20 5:07 UTC (3+ 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 (5+ messages)
Low-level programming in Ada?
2013-08-18 9:26 UTC (2+ 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