[review v4] gdb/mi: Add new commands -symbol-info-{functions,variables,types}

[Eli Zaretskii]

> Date: Fri, 22 Nov 2019 11:41:52 -0500
> From: "Andrew Burgess (Code Review)" <gerrit@gnutoolchain-gerrit.osci.io>
> Cc: Joel Brobecker <brobecker@adacore.com>,	Simon Marchi <simon.marchi@polymtl.ca>
> 
> Change URL: https://gnutoolchain-gerrit.osci.io/r/c/binutils-gdb/+/266
> ......................................................................
> 
> gdb/mi: Add new commands -symbol-info-{functions,variables,types}
> 
> Add new MI commands -symbol-info-functions, -symbol-info-variables,
> and -symbol-info-types which correspond to the CLI commands 'info
> functions', 'info variables', and 'info types' respectively.

Any changes in the documentation parts since the previous version?