- ada, curses and windows
- Interpretation of extensions different from Unix/Linux?
- Ada Shootout program for K-Nucleotide (patches)
- ANN: CairoAda 1.8 update
- PragmAda Announcements
- Test
- "Best practises" in communicating with serial ports
- More that 2800 Solutions manuals (Part 3)
- More that 2800 Solutions manuals (Part 2)
- gnatmake (GNAT GPL 2009): bug or feature?
- Component Object Model
- First successful build gnat/gcc-4.4.1 on MinGW without modificationneeded
- prefix of dereference must be a name?
- Saturation arithmetic woes.
- Serialization
- Error converting from UTF8 to ISO-8859-1
- Official GNU.* packages..
- GPL-only code with GPL GNAT?
- Open Ravenscar Real-Time Kernel
- Ada in Debian: gnat-4.4 is in unstable; please test
- working towards OpenToken version 4
- Deallocation of Unbounded_String
- Configuring CVS or SVN in GPS
- Golden Oppurtunity
- reference to a name variable
- Test Message; Please Ignore
- Typical handling of packages through compilers
- Labels rotated 90 degrees in Jewl
- Documentation of Ada standard library
- Re: OpenToken version 3.1 preview
- Can a child access private types of its parent?
- SPARK left/right shift.
- Doxygen for Ada
- Re: OpenToken version 3.1 preview
- Ammunition for strong typing...
- Will UML helps to document Ada sources ?
- Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
- Choices for modelling binary packet protocol in SPARK
- Access types as parameters
- Fourier
- Fourier
- Open-source project for ADA development
- Randomness tests
- Glade-2 and error messages
- Ann : QtAda version 2.1.1 rebuild for Qt 4.5.2
- Ada DER codec?
- Asynchronous abort not working in Debian GNAT?
- gnat gps
- float confusion
- gtksourceview for gtkada
- Creating a win32 DLL witn mingw
- "Ada For Software Engineers: Second Edition With Ada 2005" - Anyone read it?
- GNAT crunch (suspected bug with types derived from unchecked union)
- Adding external custom libraries to GPS project
- Dispatch on the result still does not work?
- Announce : QtAda version 2.1
- Re: Got warnings when overriding Initialize and Finalize
- Pointer types (I mean access types)
- Some additional remarks on the history of mechanical computation
- Using shared libraries
- Re: Got warnings when overriding Initialize and Finalize
- Ariane 5 Failure from 1996
- Ada and Babbage implement exception handling
- Introductory Presentations, especially aimed at C++ programmers!
- Ada lives on, and so does the discussion
- GNAT and Windows XP Manifest
- getting back to null range
- ANN: Simple Components for Ada v3.5
- Ann: GWenerator 0.975
- 'private' and Privacy
- Lego Mindstoms for Ada: user group
- Hiding the value of Constants
- announce : Visual Ada Developer VAD 7.2
- Re: Window Management
- Record representation : components order
- GLib and Pango Warnings
- GCC 4.4.0 Postcondition oddity.
- cannot find -lgtkada_c
- Ann: Zip-Ada v.33
- GnatColl
- Anybody trying to create an Ada wrapper for the Android Native D-Kit?
- Interfacing with C ; an ununsed fields dilemma
- New release of AdaControl (1.11r4)
- C interface using a record with discriminant and representationclauses
- Ada source code obfuscator update
- Conditional Compilation in Ada
- unsigned type
- Maping of Ada tasks on the plateforme OS threads model
- gps on Ubuntu 8.04
- addr2line i mingw gcc 4.4.0
- Clarification for SPARK postconditions on hidden subprograms.
- Workaround for invariant SPARK condition
- Problems installing/running AdaCore GPS (GPL) in Mandriva 2009
- Not visible
- AUnit XML output and NUnit?
- Issue with GNAT GPL 2009 and GtkAda
- GNAT.Sockets. Blocking?
- null array constant in Ada 83
- Please help... troubleshooting Gnat AVR build
- Ada Quality and Style
- Exent handler using Gtk.Widget
- Gnat says libraries are not supported.
- SPARK - runtime checks question
- Ada and EDF in Win32?
- GNAT GPL for LEGO MINDSTORMS NXT
- win32 bindings with GNAT GPL 2009?
- MinGW Ada compiler licence question targeting commercial applications
- AT&T Usenet Netnews Service Shutting Down
- SIGAda 2009
- Unifying task & Distributed Annex
- A little smile...
- Array initialization in SPARK
- ANN: Fuzzy Sets for Ada v5.4
- ANN: Simple Components for Ada v3.4
- ANN: Strings Edit for Ada v2.2
- ANN: Tables for Ada v1.9
- ANN: Units of Measurements for Ada v2.9
- ANN: GtkAda contributions v2.3
- ANN: GPS Library Installer v1.0
- Question on types conversions - operations
- tcladashell-20090611
- GNAT GPL 2009 for 32-bit Mac OS X
- REMINDER: June 30, 2009 Submission Deadlne for SIGAda 2009 Conference
- Hide annotations on procedures.
- Thirty years of the Ada User Journal, Ada-Europe Reports
- Minor SPARK problem concerning 'redundant' with clauses.
- SPARK and unbounded tree structures
- SPARK
- Representing errno in SPARK
- Qt Ada database support?
- SPARK postcondition check fails
- AT&T Usenet Netnews Service Shutting Down
- GNAT GPL 2009 --doinstall doesn't "do" anything
- Number of possible values in of enumerated type
- Hibachi - is it dead?
- SPARK parameter type error.
- Exception handler does not catch an exception
- Announce: QtAda 3.0 & QtAda 2.2
- SPARK constants across packages
- Running SPARK Pro with a free Prolog
- Re: find words that contains some specific letters
- Re: pragma Linker_Options
- ASIS : questions about the ASIS status against the Ada reference
- pragma Linker_Options
- GNAT Programming Studio for OpenCOBOL development
- Newby-ish question -- SPARK v. Ada2005 problem
- PLplot 5.9.4 is available
- Extending a type and Finalization
- Re: Ada 12 times more popular than Eiffel
- Trouble with ASIS issues
- OT?: AF 447 and avionics software
- Indirect visibility of private part in child packages
- Uninstalling prev version of gnat
- Bug with variant derived from interface?
- Methodologies and tools
- Taking another spanking.
- Ann: GWenerator 0.97
- GNAT GPL 2009 and GWindows
- benchmarking GPL
- A Complete Web Development Solution | Halwasiya Infosys
- BASIC_NUM_IO
- GNAT GPS Documentation
- Ada.Interfaces
- Idiom for tail recursion?
- Howto read line from a stream
- Pragmas: their identifiers and what they do
- Question on Controlled types
- gnatmem
- Re: GNAT and JVM
- Additional information
- Error: "could not understand bounds information on packed array"
- Type of subtraction operator
- Ada extension information
- Allocation questions
- Is libre.adacore.com down?
- 'Image for composite types
- Checking Ada against formal specifications.
- MinGW GNAT and GCC specs strings
- Large files on 32 and 64 bits ystem
- ANNOUNCE Mika by Midoan New Release : Automated Test Data Generationfor Ada
- Ada vs Eiffel - Ada programmer approach
- bibtex entry for Ada standards
- BC components for indefinite types?
- Electrolux #61515B 3PK Eureka J Vac Bag
- 36 ELECTROLUX Canister "C" Vacuum Sweeper Bags
- Bostitch S8DGAL-FH 28 Degree 2-3/8-Inch by .120-Inch Wire Weld Galvanized Framing Nails (2,000 per Box)
- DEWALT DC910KL 28-Volt 1/2-Inch Lithium-Ion Cordless Hammerdrill/Drill/Driver with NANO Technology
- Electrolux Aptitude Upright Replacement Vacuum Bag
- Amana Stainless Steel Counter Top Microwave AMC2206BAS
- Performax 60-6180 180-Grit Ready-to-Wrap Abrasive Sandpaper
- Hamilton Beach 32182 18 Qt Roaster Oven
- Campbell Hausfeld FP2028 1-Gallon Oil-Free Pancake Air Compressor
- Factory-Reconditioned Skil 3400-46 15 Amp 10-Inch Table Saw
- Frigidaire Bisque Over the Range Microwave FMV157GQ
- 48" 4R USA Rigid Steel Rule, reads 32nds, 64ths, 8ths, 16ths.
- Bit Brace
- Leatherman Hybrid Gardening Pruners, Black & Yellow Handle, Box
- Bessey GSCC2.524 2.5-Inch x 24-Inch Economy Clutch Style Bar Clamp
- Craftsman Wrench Holder
- 3/4" Female 1/2" Male Socket Adapter (SKT409) Category: Sockets
- Silky Straight Wood Cutting Hand Saw GINGA 270 Fine Teeth (Carpentry) #220-27
- K-D Tools 1140 Sae Impact Driver Set
- SK 4147-6 47 Piece 1/2-Inch Drive 6 Point Standard and Metric Socket Super Set
- NEW RAM GPS BICYCLE BIKE OR MOTORCYCLE MOUNT FOR GARMIN COLORADO 300 400c 400i 400t
- Scarguard Scarlight MD, 0.5-Ounces
- GARMIN 010-10725-00 Handle Bar Mount
- JVC Everio GZ-HD6 3CCD 120GB Hard Disk Drive High Definition Camcorder with 10x Optical Image Stabilized Zoom
- 14x14x5 MERV 8 Honeywell Grill Filter (2 Pack)
- 16216 Vicks Air Cleaner Replacement Filter
- 83239 Sears/Kenmore Air Cleaner Replacement Filter
- Star Trac ST Fitness 8820 Total Body Trainer
- Monark Exercise AB 874E Weight Ergometer
- Albion 100-9 Air-Powered Standard Line - 1 1/2 Pint Bulk Air Gun
- Air Sand Blaster Kit
- 6.5 HP 3" Water Pump - Extra Packaging
- 4'' Spring Hose Clamps - 5 Pack
- 3M Cloth Belt 761D 3 X 24 150Y 81415
- 3/8" Air Impact Wrench # SA709
- 3-G Supply 730696 1 Lb. Do it Paneling Nails
- Vacuum Dust Bag
- 3M Low Speed Floor Pads
- Smith Toughcut Welding & Cutting Torch Kit Outfit
- 20 Inch White Polishing Pads
- 11" Long Industrial Broom - INDUSTRIAL BROOM - 11" LONG
- 8-1/2 Sponge Mop Refill
- Grizzly G3695 15 Gauge Bright Angle Finish Nails - 2", 4,000 pc.
- Vax XVX12T Turbo Tool Attachment for Select Vax Vacuum Cleaners
- DeLonghi EO1251 6-Slice 1/2-Cubic-Foot Convection Oven, Black and Stainless Steel
- Krups 0056176 Food Processor Bowl
- Delonghi DTT900 2-Slice Toaster with Warming Rack, Brushed Aluminum
- Proctor Silex 38520G Nonstick Electric Skillet, Black
- Hamilton Beach Eclectrics 500-Watt 48-Ounce Blender (Apple Green)
- Cuisinart CPT-180 Metal Classic 4-Slice Toaster, Brushed Stainless
- Nextar Touch Screen Gps
- Seiko 5 # SNX805K Men's Automatic Self-Winding Watch
- AK Anne Klein Women's Swarovski Crystal Accented Watch #106927BNBN
- Skagen Women's Steel Collection Blue Dial Watch #644LSSI
- Bulova Women's Diamond Accented Watch #96R40
- Casio Men's Ana-Digi Forester Illuminator Sport Watch #FT600WB-5BV
- Seiko Automatic Mile Marker Black Dial SKZ229 Watch
- Pierre Cardin Women's Classic Collection Gold-Tone Bracelet Watch #PC4500TS
- Oris WilliamsF1 Team Mens Watch 67976144164MB
- Stuhrling Original Men's Lifestyle 'World Traveler' Swiss Watch #118.334534
- GUESS Women's Silver-Tone Crystal Accented Watch #95469L
- Cuisinart Coffee Maker White
- Fully Automatic Paintball Guns
- Bathroom Exhast Fan
- Vectors.Insert_Space bug?
- Ada binding to GMP and MPFR
- Conversion from floating point to signed 16 bits