messages from 2011-02-18 16:27:48 to 2011-02-28 08:21:33 UTC [more...]
SPARK: Defining the meaning of a proof function
2011-02-28 8:21 UTC (2+ messages)
Using local storage pools
2011-02-27 23:46 UTC (24+ messages)
Problem in GNATColl when using prepared queries: GNATCOLL.SQL.POSTGRES.GNADE.POSTGRESQL_ERROR is raised
2011-02-27 21:53 UTC (11+ messages)
Need some light on using Ada or not
2011-02-27 17:51 UTC (43+ messages)
Ann: Mathpaqs, release Feb. 2011
2011-02-26 20:59 UTC (18+ messages)
Simple Warnings Needs
2011-02-26 3:51 UTC (7+ messages)
Ada.Directories.Copy_File behavior
2011-02-26 3:22 UTC (14+ messages)
Text_IO.Text_Streams causing errors
2011-02-25 17:34 UTC (2+ messages)
GNATcoll and parameterized queries have me confused
2011-02-25 14:53 UTC (5+ messages)
` Possible "bug" found in gnatcoll-sql_impl.adb
Announce VTKADA version 5 release 5
2011-02-25 4:23 UTC
A thought
2011-02-24 15:47 UTC (3+ messages)
ANNOUNCE: Magpie 0.10 Utilities for multi-core execution
2011-02-24 14:46 UTC (4+ messages)
Using Gnat Ada and gtkada Glade
2011-02-23 23:20 UTC (10+ messages)
Ada group in bettercodes.org
2011-02-23 14:50 UTC (6+ messages)
safety critical automotive software
2011-02-23 3:32 UTC (3+ messages)
adding some more example to Ada GTK on wiki
2011-02-22 10:16 UTC (10+ messages)
Announce : Release of AdaDesigner 0.27, aiming an Ada refactoring framework
2011-02-22 9:06 UTC
Announce : Release of gnatgpr 0.33, access to GPR project information
2011-02-22 8:56 UTC
i need help please
2011-02-21 16:03 UTC (3+ messages)
Is the Ada compiler of Polyspace invalid?
2011-02-21 15:54 UTC (10+ messages)
How do I write directly to a memory address?
2011-02-21 7:17 UTC (10+ messages)
How do I write directly to a memory address?
2011-02-21 7:17 UTC (15+ messages)
What's wrong with C++?
2011-02-20 14:48 UTC (35+ messages)
What's wrong with C++?
2011-02-20 9:49 UTC (9+ messages)
What's wrong with C++?
2011-02-20 4:35 UTC (7+ messages)
Helping with FOSS dev
2011-02-19 10:58 UTC (2+ messages)
Build / Make configuration tools and Ada medium or large projects
2011-02-19 9:45 UTC (2+ messages)
How do I write directly to a memory address?
2011-02-19 4:21 UTC (5+ 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