[doc PATCH] Copy over changes from guile.texi to python.texi

[Eli Zaretskii]

> From: Doug Evans <xdje42@gmail.com>
> Date: Tue, 13 May 2014 20:09:21 -0700
> 
> During the guile code review several changes to the docs were requested.
> 
> This patch applies those changes to python.texi.
> 
> 2014-05-13  Doug Evans  <xdje42@gmail.com>
> 
> 	Copy over changes from guile.texi.
> 	* python.texi (Basic Python) <gdb.execute>: Add text.
> 	(Basic Python) <gdb.post_event>: Remove "main" from "main GDB thread".
> 	(Values From Inferior) <Python string>: Add text.
> 	(Values From Inferior) <Value.string>: Clarify string length handling.
> 	(Pretty Printing API): Add cindex.
> 	(Types In Python) <TYPE_CODE_*>: Use vtable instead of table.
> 	Remove unnecessary index of gdb.TYPE_CODE_*.  Replace @findex with
> 	@vindex.
> 	(Commands In Python) <COMPLETE_*>: Similarly.
> 	(Symbols In Python) <SYMBOL_*>: Similarly.
> 	(Breakpoints In Python) <WP_*>: Similarly.
> 	(Breakpoints In Python) <BP_*>: Similarly.

Thanks, this is OK.