messages from 2009-08-14 11:09:27 to 2009-08-26 11:00:52 UTC [more...]
Generalized serialization for enumeration types
2009-08-26 11:00 UTC (2+ messages)
Spark_IO: improving with postconditions?
2009-08-26 9:23 UTC (2+ messages)
Win32Ada problems
2009-08-26 9:09 UTC (2+ messages)
COM problem
2009-08-26 1:50 UTC (3+ messages)
Comparison Operators for Strings
2009-08-26 1:45 UTC (3+ messages)
[ANN] ssprep 1.4.0
2009-08-25 17:30 UTC
Distributed Computing in Ada
2009-08-25 12:00 UTC (5+ messages)
Interpretation of extensions different from Unix/Linux?
2009-08-24 19:51 UTC (68+ messages)
` Variable- and fixed-length-character strings (Was: Interpretation of extensions different from Unix/Linux?)
` Enumeration of network shared under Windows (was: "
` Wilcards in Linux "
` Wilcards in Linux
Ada Shootout program for K-Nucleotide (patches)
2009-08-23 22:21 UTC (32+ messages)
put of access type
2009-08-22 12:02 UTC (40+ messages)
Evolve and the MindForth AI
2009-08-21 22:49 UTC
Gnat says libraries are not supported
2009-08-21 9:35 UTC (9+ messages)
SPARK - refactoring and refinement of own state
2009-08-20 8:44 UTC (5+ messages)
C++ threads vs. Ada tasks - surprised
2009-08-18 20:36 UTC (12+ messages)
Access types as parameters
2009-08-18 12:22 UTC (26+ messages)
Ada and (SIGTERM?)
2009-08-16 15:47 UTC (8+ messages)
[Announcing] Public Ada Courses 24-28 August '09 in Carlsbad CA
2009-08-15 20:45 UTC (2+ messages)
Ada 95 and Class attribute for none-tagged incomplete type
2009-08-15 14:33 UTC (9+ messages)
C++0x and Threads - a poor relation to Ada's tasking model?
2009-08-15 14:24 UTC (57+ messages)
` Language checks (Was: C++0x and Threads - a poor relation to Ada's tasking model?)
` Language checks
Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
2009-08-14 22:51 UTC (8+ messages)
` A few Ada questions
` Making a nonlimited type controlled by means of a controlled component
Typical handling of packages through compilers
2009-08-14 22:06 UTC (3+ messages)
Exclude files from Source_Dirs in GPS configuration
2009-08-14 14:25 UTC (2+ messages)
GCC 4.4.1 linux to mingw32 cross compiler gnat
2009-08-14 13:41 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