Amplify last NEWS entry about boolean types in Ada, and add

corresponding description of treatment of True and false to gdb.texinfo.

gdb/ChangeLog

@@ -1,3 +1,7 @@
+2008-08-21  Paul N. Hilfinger  <hilfinger@adacore.com>
+
+	* NEWS: Amplify last entry on boolean types in Ada.
+
 2008-08-20  Daniel Jacobowitz  <dan@codesourcery.com>
 
 	* dwarf2read.c (die_specification, dwarf2_extension, follow_die_ref):

gdb/NEWS

@@ -59,6 +59,8 @@ conditions handling signals delivered during attach or thread creation
 have also been fixed.
 
 * GDB now supports the use of DWARF boolean types for Ada's type Boolean.
+From the user's standpoint, all unqualified instances of True and False
+are treated as the standard definitions, regardless of context.
 
 * New features in the GDB remote stub, gdbserver
 

gdb/doc/ChangeLog

@@ -1,3 +1,8 @@
+2008-08-21  Paul N. Hilfinger  <hilfinger@adacore.com>
+
+	* gdb.texinfo (Omissions from Ada): Describe new treatment of True
+	and False.
+
 2008-08-20  Vladimir Prus  <vladimir@codesourcery.com>
 
         * gdb.textinfo (GDB/MI Miscellaneous Commands): Use @table

gdb/doc/gdb.texinfo

@@ -11218,6 +11218,14 @@ formats are not supported.
 
 @item
 It is not possible to slice a packed array.
+
+@item
+The names @code{True} and @code{False}, when not part of a qualified name, 
+are interpreted as if implicitly prefixed by @code{Standard}, regardless of 
+context.
+Should your program
+redefine these names in a package or procedure (at best a dubious practice),
+you will have to use fully qualified names to access their new definitions.
 @end itemize
 
 @node Additions to Ada