messages from 2010-05-19 13:21:47 to 2010-05-25 16:15:40 UTC [more...]
Ada noob here! Is Ada widely used?
2010-05-25 16:15 UTC (96+ messages)
About static libraries and Debian policy
2010-05-25 9:02 UTC (27+ messages)
` Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
` Symbolic tracebacks on Debian
SPARK syntax and “use type” : lack of feature ?
2010-05-25 7:29 UTC (3+ messages)
Looking For Simple Routine To Put Integer Into Float
2010-05-25 2:47 UTC (3+ messages)
Emacs and long file names
2010-05-25 2:44 UTC (4+ messages)
GCC conflict on Ubuntu for mixed Ada/C++ project
2010-05-25 2:26 UTC (12+ messages)
` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
A generic image decoder - specification design
2010-05-24 21:42 UTC (3+ messages)
Gnat cross compiler
2010-05-24 15:44 UTC (5+ messages)
Ada-Belgium Spring 2010 Event, registration deadline approaching
2010-05-23 7:25 UTC
Noob question: universal_integer type
2010-05-23 2:36 UTC (12+ messages)
Ada Debian policy plea
2010-05-22 8:49 UTC
[Ann] Ada-bindings for 0mq
2010-05-21 20:20 UTC (2+ messages)
Installing MinGW and testing it out I have a problem
2010-05-21 12:19 UTC (5+ messages)
info version of Ada reference manuals
2010-05-21 11:33 UTC
Q: SPARK visibility rules and inherit annotations
2010-05-21 10:42 UTC (9+ messages)
for S'Image use Func??
2010-05-21 6:56 UTC (23+ messages)
SPARK
2010-05-20 21:51 UTC (10+ messages)
SPARK reserved and predefined words : alternative choices
2010-05-20 16:37 UTC (3+ messages)
A proposal for Debian policy for Ada
2010-05-20 14:06 UTC (19+ messages)
One united Ada policy for all Linux distributions?
2010-05-20 10:49 UTC (9+ 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 (8+ 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 (15+ 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