messages from 2010-05-14 20:38:30 to 2010-05-20 19:51:19 UTC [more...]
Ada noob here! Is Ada widely used?
2010-05-20 19:51 UTC (14+ messages)
Installing MinGW and testing it out I have a problem
2010-05-20 18:44 UTC (2+ messages)
[Ann] Ada-bindings for 0mq
2010-05-20 18:24 UTC
SPARK reserved and predefined words : alternative choices
2010-05-20 16:37 UTC (3+ messages)
Q: SPARK visibility rules and inherit annotations
2010-05-20 15:58 UTC (8+ messages)
Gnat cross compiler
2010-05-20 15:49 UTC (2+ messages)
A proposal for Debian policy for Ada
2010-05-20 14:06 UTC (22+ messages)
About static libraries and Debian policy
2010-05-20 14:04 UTC (16+ messages)
` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
GCC conflict on Ubuntu for mixed Ada/C++ project
2010-05-20 12:10 UTC (15+ messages)
One united Ada policy for all Linux distributions?
2010-05-20 10:49 UTC (13+ messages)
for S'Image use Func??
2010-05-20 9:31 UTC (45+ messages)
SPARK
2010-05-20 6:58 UTC (30+ messages)
Trying to get A# set up (and failing)
2010-05-19 21:16 UTC (5+ messages)
Disabling string evaluation in a logging system
2010-05-19 19:08 UTC (20+ messages)
TXL Grammar for Ada 2005
2010-05-19 15:10 UTC (5+ messages)
Why is Ada considered "too specialized" for scientific use
2010-05-19 14:55 UTC (20+ messages)
Code Statement
2010-05-19 10:20 UTC (8+ messages)
Building an Embedded Device/System? Tell VDC about your experiences for a chance to WIN!
2010-05-18 12:36 UTC
Hard and soft real time with Ada
2010-05-17 22:01 UTC (7+ messages)
Good book(s) on data structures?
2010-05-17 17:13 UTC (8+ messages)
Imagine Ada with Fewer Attributes
2010-05-17 13:27 UTC (5+ messages)
Call for papers: SETP-10, USA, July 2010
2010-05-17 10:06 UTC
Ada-Europe 2010 early registration deadline approaching
2010-05-16 20:24 UTC
GNAT packages in Linux distributions
2010-05-15 20:33 UTC (26+ messages)
www.promptc.com (only $36,free shipping)for 2010 newest Adidas shoes--Paypal
2010-05-15 12:47 UTC
AWS install problems
2010-05-15 10:05 UTC (3+ 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