messages from 2012-10-10 15:40:00 to 2012-10-19 08:57:19 UTC [more...]
How to get high-precision floating point--MPFR
2012-10-19 8:57 UTC
Ada, the best language with the not-so-best tool chain
2012-10-19 0:46 UTC (97+ messages)
` The Ada community's attitude, was: "
GNAT doing macro‑expansion for generics? (Pre/Post conditions)
2012-10-19 0:08 UTC (2+ messages)
` GNAT doing macro‑expansion? "
Promoting Ada via facebook/google+
2012-10-18 22:49 UTC (51+ messages)
` Promoting Ada via facebook/google+ / A short history of Ada
choice_expression
2012-10-18 21:12 UTC (4+ messages)
A known planned date fora GNAT 4.7 or 4.8?
2012-10-18 19:26 UTC (2+ messages)
Anouncement: OpenGL Binding w/ Ada-2012
2012-10-18 17:16 UTC
Fixed Point number mul, is it a bug?
2012-10-18 14:49 UTC (9+ messages)
Ada's identifiers casing considered ugly
2012-10-16 23:07 UTC (3+ messages)
Is marketing speak in Ada wikibook o.K.?
2012-10-16 21:04 UTC (5+ messages)
Emacs Ada mode vs Ada 2012 syntax
2012-10-14 1:23 UTC (11+ messages)
API design considerations - variable-length array in record type
2012-10-09 5:42 UTC (3+ messages)
Ada Containers
2012-10-12 10:35 UTC (6+ messages)
Do really Ada give you a camel when you expected a horse?
2012-10-08 4:21 UTC (5+ messages)
ANN: AdaTutor on the Web - done
2012-10-11 3:37 UTC (16+ messages)
How to get generic formal parameter type into base class
2012-10-11 23:52 UTC (8+ messages)
Parentheses around conditional/quantified expressions
2012-10-08 11:26 UTC
ANN: Simple components v3.2 ODBC bindings support
2012-10-14 19:45 UTC (2+ messages)
Linking/aspect error. [OpenGL]
2012-10-13 14:37 UTC (4+ messages)
Seeking Nominations for the SIGAda 2012 Awards
2012-10-12 21:33 UTC
How large were MIL STD 1750A Ada-running systems?
2012-10-11 20:03 UTC (2+ messages)
ACM SIGAda Conference on High Integrity Language Technology: HILT 2012,Boston (Dec. 2-6)
2012-10-11 15:32 UTC
RESTful web API using AWS?
2012-10-11 15:17 UTC (2+ messages)
ee9, the GNU Ada KDF9 emulator, now on Raspberry Pi
2012-10-06 9:34 UTC (5+ messages)
Forking old GMGPL libs ?
2012-10-06 11:27 UTC (5+ messages)
` LLVM and GCC (was: Forking old GMGPL libs ?)
Multiplying fixed-point by long integer
2012-10-05 5:14 UTC (4+ messages)
Gantbench not installable with eclipse juno
2012-10-05 5:48 UTC (2+ messages)
highest bit, statically determined
2012-10-04 7:46 UTC (3+ messages)
Odd subtyping error
2012-10-05 18:12 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