messages from 2013-04-05 20:23:13 to 2013-04-22 21:25:49 UTC [more...]
Tell GPRBuild to trigger an error on unknown options in project file?
2013-04-22 21:25 UTC
aws vs ruby rails or php? how much faster?
2013-04-22 21:17 UTC (8+ messages)
Interresting difference in Normal-Returns/Expression-Functions and Extended-Returns
2013-04-22 20:11 UTC (3+ messages)
SPARK - divide algorithm issue
2013-04-22 7:50 UTC (3+ messages)
Is this expected behavior or not
2013-04-20 6:39 UTC (104+ messages)
` Root_String'Class? (Was: Is this expected behavior or not)
` Usefulness of OOP (was "
Interesting embedded Ada news
2013-04-19 9:09 UTC (28+ messages)
Specifying an `--RTS` option in a GPR file, for a runtime library
2013-04-18 22:10 UTC (10+ messages)
18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013
2013-04-18 20:35 UTC
Spark non-working example in book ?
2013-04-18 10:45 UTC (3+ messages)
SPARK - division by zero problem
2013-04-18 10:28 UTC (3+ messages)
What about opening 'comp.lang.spark' group?
2013-04-18 6:40 UTC (3+ messages)
Announce : Qt5Ada version 5.0.2 release 16/04/2013 free edition
2013-04-17 9:08 UTC (3+ messages)
Does GPS remote debugging work for anyone? GNAT GPL 2012
2013-04-15 18:02 UTC
searching for the first validated Ada compiler: NYU Ada/Ed
2013-04-15 8:11 UTC (2+ messages)
GCC 4.8.0 for Mac OS X
2013-04-15 7:38 UTC
No more static `libgnat` with FSF GNAT?
2013-04-14 16:04 UTC (5+ messages)
Microsoft accuses Google of pushing services to Android
2013-04-14 7:46 UTC
Can't get binder “-n” and “-z” options working
2013-04-14 0:59 UTC (2+ messages)
Marble Clock
2013-04-13 19:04 UTC (8+ messages)
That funny “--” before ASIS options with ASIS applications
2013-04-12 22:04 UTC (3+ messages)
Emacs Ada mode vs Ada 2012 syntax
2013-04-12 13:09 UTC (33+ messages)
Ada-France is back
2013-04-11 13:46 UTC
Busty military novice does exercises at a doctor ------89W7y9
2013-04-11 9:14 UTC
Ada Conference UK
2013-04-10 21:03 UTC (2+ messages)
www.Ada-France.org seems dead
2013-04-10 20:44 UTC (4+ messages)
XML/Ada schema validation and XML namespaces
2013-04-10 19:56 UTC (5+ messages)
ANN: IKEv2 Trusted Key Manager
2013-04-08 13:40 UTC
Newer and newer types of mobile
2013-04-08 11:30 UTC
Extended Exceptions and other tweaks
2013-04-08 10:21 UTC (7+ messages)
ada powered e-commerce talk to me!
2013-04-08 1:25 UTC (5+ messages)
ANN: New newsgroup: comp.sys.raspberry-pi
2013-04-07 19:40 UTC
جميع ترددات قمر النايل سات الجديدة 2013 - NileSat
2013-04-07 15:58 UTC
General integer-types
2013-04-07 14:29 UTC (3+ messages)
How to get the screen size?
2013-04-07 10:00 UTC (5+ messages)
ANN: Paraffin 4.0 and Paraffinalia for Ada 2012 with Ravenscar support and task pools
2013-04-06 18:20 UTC
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