Return to Reverse Execution

[Eli Zaretskii]

> From: "Dave Korn" <dave.korn@artimi.com>
> Cc: <gdb@sources.redhat.com>,
> 	<jrydberg@virtutech.com>,
> 	<fche@redhat.com>,
> 	<brolley@redhat.com>,
> 	<ebachalo@redhat.com>
> Date: Fri, 6 Jan 2006 10:30:40 -0000
> 
>   I think that if there is any potential confusion about what the terms might
> mean in the context of having set the exec-direction reverse, then that simply
> implies that the exec-direction command is superfluous and obfuscating, and
> that all we need are one set of commands to go forwards, one set to go back,
> and people can use the correct ones according to the direction they actually
> want to go

The main issue is not about the value of exec-direction, it is how to
call the commands that go backwards.  I suggested the prefix ``back''
or ``backwards'' instead of ``reverse''.