Have I found an error in the index of the ARM?

[mgr <mgrojo@gmail.com>]

Hello,

While generating some stubs (wiki draft) for the Ada Programming 
wikibook, I've found an inconsistency that ultimately comes from the 
index of Ada 2005 and 2012 Reference Manual.

The index in Wikibooks [1] was probably derived from the RM index [2]. I 
generated the stubs from the actual package names provided by GNAT 
implementation. As can be seen in the Wikibooks index, some  links are 
broken, despite having generated stubs for all the Ada children. The 
index in Wikibooks follows the RM index:

Ada.Wide_Text_IO.Bounded_IO   A.11(4/3)
Ada.Wide_Text_IO.Unbounded_IO   A.11(5/3)

Ada.Wide_Wide_Text_IO.Bounded_IO   A.11(4/3)
Ada.Wide_Wide_Text_IO.Unbounded_IO   A.11(5/3)

But in A.11 [3] the package names repeat Wide[_Wide] at the 
grandchildren level:
4/3
The specification of package Wide_Text_IO.Wide_Bounded_IO is the same as

5/3
The specification of package Wide_Text_IO.Wide_Unbounded_IO is the same

So generated stubs are not linked to the index. I guess the problem is 
in the RM index, because implementors have follow the letter of A.11.


[1] https://en.wikibooks.org/wiki/Ada_Programming/Libraries/Ada
[2] http://www.ada-auth.org/standards/12rm/html/RM-0-4.html
[3] http://www.ada-auth.org/standards/12rm/html/RM-A-11.html