Hello,

I checked in the attached update to the gdb web page about reverse
debugging.  Appologies for not seeking review comments first -- I
will welcome them now and be glad to post corrections or additions.

Michael

PS -- especially if I neglected to acknowledge anybody or mention
an existing reverse debug target!