comp.lang.ada
- Conditional Compilation in Ada,
Pablo
- unsigned type,
Rob Solomon
- Re: unsigned type,
Florian Weimer
- Re: unsigned type,
Albrecht Käfer
- Re: unsigned type,
anon
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
anon
- Re: unsigned type,
tmoran
- Re: unsigned type,
anon
- Re: unsigned type,
Jean-Pierre Rosen
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
sjw
- Re: unsigned type,
Jean-Pierre Rosen
- Re: unsigned type,
anon
- Re: unsigned type,
anon
- Re: unsigned type,
Georg Bauhaus
- Message not available
- Re: unsigned type,
anon
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
anon
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
Georg Bauhaus
- Re: unsigned type,
Adam Beneschan
- Re: unsigned type,
Adam Beneschan
- Re: unsigned type,
Martin
- Re: unsigned type,
Georg Bauhaus
- Re: unsigned type,
anon
- Re: unsigned type,
Georg Bauhaus
- Re: unsigned type,
Jean-Pierre Rosen
- Re: unsigned type,
Adam Beneschan
- Re: unsigned type,
Albrecht Käfer
- Re: unsigned type,
Adam Beneschan
- Re: unsigned type,
Albrecht Käfer
- Re: unsigned type,
Robert A Duff
- Re: unsigned type,
Albrecht Käfer
- Re: unsigned type,
Martin
- Re: unsigned type,
Dmitry A. Kazakov
- Re: unsigned type,
Martin
- Re: unsigned type,
Dmitry A. Kazakov
- Re: unsigned type,
anon
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
tmoran
- Re: unsigned type,
Gary Scott
- Re: unsigned type,
John B. Matthews
- Re: unsigned type,
anon
- Re: unsigned type,
Dmitry A. Kazakov
- Re: unsigned type,
Georg Bauhaus
- Re: unsigned type,
Dmitry A. Kazakov
- Re: unsigned type,
Rob Solomon
- Re: unsigned type,
Robert A Duff
- Re: unsigned type,
Georg Bauhaus
- Re: unsigned type,
Ludovic Brenta
- Re: unsigned type,
Robert A Duff
- Re: unsigned type,
Adam Beneschan
- Re: unsigned type,
Martin Krischik
Maping of Ada tasks on the plateforme OS threads model,
Hibou57 (Yannick Duchêne)
gps on Ubuntu 8.04,
Rob Solomon
addr2line i mingw gcc 4.4.0,
björn lundin
- Re: addr2line i mingw gcc 4.4.0,
sjw
- Re: addr2line i mingw gcc 4.4.0,
björn lundin
- Re: addr2line i mingw gcc 4.4.0,
Ludovic Brenta
- Re: addr2line i mingw gcc 4.4.0,
Stephen Leake
- Re: addr2line i mingw gcc 4.4.0,
Dmitry A. Kazakov
- Re: addr2line i mingw gcc 4.4.0,
Ludovic Brenta
- Re: addr2line i mingw gcc 4.4.0,
sjw
- Re: addr2line i mingw gcc 4.4.0,
björn lundin
- Re: addr2line i mingw gcc 4.4.0,
Georg Bauhaus
- Re: addr2line i mingw gcc 4.4.0,
Randy Brukardt
- Re: addr2line i mingw gcc 4.4.0,
sjw
- Re: addr2line i mingw gcc 4.4.0,
Robert A Duff
Clarification for SPARK postconditions on hidden subprograms.,
xorque
Workaround for invariant SPARK condition,
xorque
Problems installing/running AdaCore GPS (GPL) in Mandriva 2009,
Anonymous
Not visible,
Pietro Tornaindietro
AUnit XML output and NUnit?,
Michael Rohan
Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Niklas Holsti
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Robert A Duff
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Robert A Duff
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Adam Beneschan
- Re: Issue with GNAT GPL 2009 and GtkAda,
Adam Beneschan
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Damien Carbonne
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Adam Beneschan
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Georg Bauhaus
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Alex R. Mosteo
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Randy Brukardt
- Re: Issue with GNAT GPL 2009 and GtkAda,
Alex R. Mosteo
- Re: Issue with GNAT GPL 2009 and GtkAda,
Stephen Leake
- Re: Issue with GNAT GPL 2009 and GtkAda,
Dmitry A. Kazakov
GNAT.Sockets. Blocking?,
Jacob M. H. Smith
null array constant in Ada 83,
Martin Krischik
Please help... troubleshooting Gnat AVR build,
Steve D
Ada Quality and Style,
Rick
Exent handler using Gtk.Widget,
Rick
Gnat says libraries are not supported.,
Björn Persson
SPARK - runtime checks question,
Maciej Sobczak
Ada and EDF in Win32?,
Günther Wimpassinger
GNAT GPL for LEGO MINDSTORMS NXT,
Piotr
win32 bindings with GNAT GPL 2009?,
Bob Spooner
MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Georg Bauhaus
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hyman Rosen
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hyman Rosen
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Jeffrey R. Carter
- Re: MinGW Ada compiler licence question targeting commercial applications,
Pascal Obry
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Stephen Leake
- Re: MinGW Ada compiler licence question targeting commercial applications,
Georg Bauhaus
- Re: MinGW Ada compiler licence question targeting commercial applications,
Georg Bauhaus
- Re: MinGW Ada compiler licence question targeting commercial applications,
Jeffrey R. Carter
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Stephen Leake
- Re: MinGW Ada compiler licence question targeting commercial applications,
sjw
- Re: MinGW Ada compiler licence question targeting commercial applications,
anon
- Re: MinGW Ada compiler licence question targeting commercial applications,
Stephen Leake
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Stephen Leake
- Re: MinGW Ada compiler licence question targeting commercial applications,
John B. Matthews
- Re: MinGW Ada compiler licence question targeting commercial applications,
Ludovic Brenta
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Ludovic Brenta
- Re: MinGW Ada compiler licence question targeting commercial applications,
John B. Matthews
- Re: MinGW Ada compiler licence question targeting commercial applications,
Ludovic Brenta
- Re: MinGW Ada compiler licence question targeting commercial applications,
Georg Bauhaus
- Re: MinGW Ada compiler licence question targeting commercial applications,
sjw
- Re: MinGW Ada compiler licence question targeting commercial applications,
Hibou57 (Yannick Duchêne)
- Re: MinGW Ada compiler licence question targeting commercial applications,
Randy Brukardt
- Re: MinGW Ada compiler licence question targeting commercial applications,
Dirk Craeynest
- Re: MinGW Ada compiler licence question targeting commercial applications,
Marco
- Re: MinGW Ada compiler licence question targeting commercial applications,
Marco
AT&T Usenet Netnews Service Shutting Down,
newsmaster
SIGAda 2009,
gicca
Unifying task & Distributed Annex,
mamboking
A little smile...,
mockturtle
Array initialization in SPARK,
xorque
ANN: Fuzzy Sets for Ada v5.4,
Dmitry A. Kazakov
ANN: Simple Components for Ada v3.4,
Dmitry A. Kazakov
ANN: Strings Edit for Ada v2.2,
Dmitry A. Kazakov
ANN: Tables for Ada v1.9,
Dmitry A. Kazakov
ANN: Units of Measurements for Ada v2.9,
Dmitry A. Kazakov
ANN: GtkAda contributions v2.3,
Dmitry A. Kazakov
ANN: GPS Library Installer v1.0,
Dmitry A. Kazakov
Question on types conversions - operations,
Olivier Scalbert
tcladashell-20090611,
sjw
GNAT GPL 2009 for 32-bit Mac OS X,
sjw
REMINDER: June 30, 2009 Submission Deadlne for SIGAda 2009 Conference,
Michael Feldman
Hide annotations on procedures.,
xorque
Minor SPARK problem concerning 'redundant' with clauses.,
xorquewasp
SPARK and unbounded tree structures,
xorquewasp
SPARK,
Robert Matthews
Representing errno in SPARK,
xorquewasp
Qt Ada database support?,
Stephen Leake
SPARK postcondition check fails,
xorquewasp
GNAT GPL 2009 --doinstall doesn't "do" anything,
convergence82
Number of possible values in of enumerated type,
Gautier
Hibachi - is it dead?,
John McCabe
SPARK parameter type error.,
xorquewasp
Exception handler does not catch an exception,
Rick
Announce: QtAda 3.0 & QtAda 2.2,
Vadim Godunko
SPARK constants across packages,
xorquewasp
Running SPARK Pro with a free Prolog,
Florian Weimer
ASIS : questions about the ASIS status against the Ada reference,
Hibou57 (Yannick Duchêne)
pragma Linker_Options,
Rick
GNAT Programming Studio for OpenCOBOL development,
btiffin
Newby-ish question -- SPARK v. Ada2005 problem,
Tim Rowe
PLplot 5.9.4 is available,
Jerry
Re: Checking Ada against formal specifications.,
xorquewasp
Extending a type and Finalization,
pascal . malaise
- Re: Extending a type and Finalization,
Hibou57 (Yannick Duchêne)
- Re: Extending a type and Finalization,
Adam Beneschan
- Re: Extending a type and Finalization,
Dmitry A. Kazakov
- Re: Extending a type and Finalization,
Adam Beneschan
- Re: Extending a type and Finalization,
Dmitry A. Kazakov
- Re: Extending a type and Finalization,
Adam Beneschan
- Re: Extending a type and Finalization,
Dmitry A. Kazakov
- Re: Extending a type and Finalization,
malaise
- Re: Extending a type and Finalization,
Ludovic Brenta
- Re: Extending a type and Finalization,
malaise
- Re: Extending a type and Finalization,
Ludovic Brenta
- Re: Extending a type and Finalization,
malaise
- Re: Extending a type and Finalization,
AdaMagica
Trouble with ASIS issues,
Hibou57 (Yannick Duchêne)
OT?: AF 447 and avionics software,
Alex R. Mosteo
Ada 12 times more popular than Eiffel,
Ludovic Brenta
Indirect visibility of private part in child packages,
Hibou57 (Yannick Duchêne)
Re: MinGW GNAT and GCC specs strings,
Hibou57 (Yannick Duchêne)
Uninstalling prev version of gnat,
RasikaSrinivasan@xxxxxxxxx
Bug with variant derived from interface?,
Alex R. Mosteo
Methodologies and tools,
Olivier Scalbert
sexy actress *** videos here,
vasu
Taking another spanking.,
Petter
- Re: Taking another spanking.,
Per Sandberg
- Re: Taking another spanking.,
sjw
- Re: Taking another spanking.,
anon
- Re: Taking another spanking.,
sjw
- Re: Taking another spanking.,
anon
- Re: Taking another spanking.,
sjw
- Re: Taking another spanking.,
Per Sandberg
- Re: Taking another spanking.,
anon
- Re: Taking another spanking.,
sjw
- Re: Taking another spanking.,
anon
- Re: Taking another spanking.,
Georg Bauhaus
- Re: Taking another spanking.,
tmoran
- Re: Taking another spanking.,
anon
- Re: Taking another spanking.,
Randy Brukardt
- Re: Taking another spanking.,
sjw
Ann: GWenerator 0.97,
Gautier
Re: Ada vs Eiffel - Ada programmer approach,
Tim Rowe
- <Possible follow-ups>
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Ludovic Brenta
- Re: Ada vs Eiffel - Ada programmer approach,
Georg Bauhaus
- Re: Ada vs Eiffel - Ada programmer approach,
Ludovic Brenta
- Re: Ada vs Eiffel - Ada programmer approach,
Robert A Duff
- Re: Ada vs Eiffel - Ada programmer approach,
Martin
- Re: Ada vs Eiffel - Ada programmer approach,
stefan-lucks
- Re: Ada vs Eiffel - Ada programmer approach,
Samuel Tardieu
- Re: Ada vs Eiffel - Ada programmer approach,
Robert A Duff
- Re: Ada vs Eiffel - Ada programmer approach,
Randy Brukardt
- Re: Ada vs Eiffel - Ada programmer approach,
Dmitry A. Kazakov
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Georg Bauhaus
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
- Re: Ada vs Eiffel - Ada programmer approach,
Hibou57 (Yannick Duchêne)
GNAT GPL 2009 and GWindows,
Gautier
benchmarking GPL,
johnscpg
Re: Interfacing with C,
David Thompson
BASIC_NUM_IO,
Georg
GNAT GPS Documentation,
Georg
Ada.Interfaces,
Georg
Idiom for tail recursion?,
jpwoodruff
Re: Uninstalling GPS - stupid question I know...,
Alex
Re: 'Image for composite types,
Stephen Leake
Howto read line from a stream,
Tomek Walkuski
- Re: Howto read line from a stream,
Tomek Wałkuski
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Jeffrey R. Carter
- Re: Howto read line from a stream,
Tomek Wałkuski
- Re: Howto read line from a stream,
Jeffrey R. Carter
- Re: Howto read line from a stream,
Maciej Sobczak
- Re: Howto read line from a stream,
Jean-Pierre Rosen
- Re: Howto read line from a stream,
Ludovic Brenta
- Re: Howto read line from a stream,
Maciej Sobczak
- Re: Howto read line from a stream,
Jean-Pierre Rosen
- Re: Howto read line from a stream,
Ludovic Brenta
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
sjw
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Georg Bauhaus
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Georg Bauhaus
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Georg Bauhaus
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Georg Bauhaus
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
Georg Bauhaus
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
andrew
- Re: Howto read line from a stream,
björn lundin
- Re: Howto read line from a stream,
Dmitry A. Kazakov
- Re: Howto read line from a stream,
anon
Pragmas: their identifiers and what they do,
Rick
Question on Controlled types,
Olivier Scalbert
gnatmem,
Olivier Scalbert
Re: Ada extension information,
Randy Brukardt
Re: GNAT and JVM,
raould
Re: Ada binding to GMP and MPFR,
Pascal Obry
Re: Interrupt handler and Ada.Real_Time.Timing_Events,
Reto Buerki
Re: Using Win32Com with Ada,
Hang Xie
Re: Type of subtraction operator,
Adam Beneschan
