2012-11-29 Yao Qi <yao@codesourcery.com>
PR gdb/1477.
* gdb.texinfo (Print Settings): Correct the default 'demangle-style'
to 'auto' instead of 'gnu'.
+2012-11-29 Yao Qi <yao@codesourcery.com>
+
+ PR gdb/1477.
+ * gdb.texinfo (Print Settings): Correct the default 'demangle-style'
+ to 'auto' instead of 'gnu'.
+
2012-11-26 Tom Tromey <tromey@redhat.com>
* gdb.texinfo (MiniDebugInfo): New node.
@table @code
@item auto
Allow @value{GDBN} to choose a decoding style by inspecting your program.
+This is the default.
@item gnu
Decode based on the @sc{gnu} C@t{++} compiler (@code{g++}) encoding algorithm.
-This is the default.
@item hp
Decode based on the HP ANSI C@t{++} (@code{aCC}) encoding algorithm.