+2010-10-13 Doug Evans <dje@google.com>
+
+ * gdb.texinfo (Python): Add "Python modules".
+ (Types in Python): Add reference to gdb.types section.
+ (Python modules): New node.
+
2010-10-11 Doug Evans <dje@google.com>
* gdb.texinfo (Values From Inferior): Add reference to "Types in