[patch] Forbid run with a core file loaded

[Eli Zaretskii]

> Date: Thu, 8 Jul 2010 19:16:48 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, mark.kettenis@xs4all.nl,
>         brobecker@adacore.com, gdb-patches@sourceware.org,
>         Edjunior Barbosa Machado <emachado@linux.vnet.ibm.com>
> 
> gdb/doc/
> 2010-07-08  Jan Kratochvil  <jan.kratochvil@redhat.com>
> 
> 	Make core files the process_stratum.
> 	* gdb.texinfo (Active Targets): Remove core_stratum.  Include
> 	record_stratum example.

This part is okay, but please fix the punctuation as shown below:

 There are multiple classes of targets such, as: processes, executable files or
 recording sessions.  Core files belong to the process class, making core file
 and process mutually exclusive.  Otherwise, @value{GDBN} can work concurrently
 on multiple active targets, one in each class.  This allows you to (for
 example) start a process and inspect its activity, while still having access to
 the executable file after the process finishes.  Or if you start process
 recording (@pxref{Reverse Execution}) and @code{reverse-step} there, you are
 presented a virtual layer of the recording target, while the process target
 remains stopped at the chronologically last point of the process execution.

Thanks.