Library model in Ada. was Re: Difference between ADA and c++

[Nasser]

In article <01bcafdf$50784b80$7774d8cc@fatman>, "Michael says...
>
>Here are several comparisions of Ada and C++ on the www:
>
>Langauge comparisons:
>
>A Comparison of Ada, C, and C++ 
>http://rep1.iei.pi.cnr.it/projects/JADA/ada-collection/tuft.html 
>

thanks for the pointers! I did not have some of these before.

Now, I was reading this below, from the above paper:

"1) Separate Compilation and Library Management   

   Ada: An Ada compiler is required to enforce consistency and
strong type checking across separate compilation.  The concept of
                                                   ^^^^^^^^^^^^^^
a program library is built into the language, based on separately
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
compilable modules called "library units" whose names are part of 
a hierarchical name space."

GNAT, probably the most popular Ada95 compiler, does NOT use the
program library model, but uses the code-source model, i.e. the 
traditional model.

So, what going on here? who is wrong, and who is right? 

thanks,
Nasser