Rick wrote:
I did the delete. I thought the original page's history stayed with the original name. Sorry. I don't know how to do an undelete or I'd do it. But then, how do you rename it so that it keeps the history? And it was Michael who did the move to begin with. He's decided to visit us again today.
This is the procedure I normally use: 1. Delete the old page name. It's just a redirect now, and has no history. 2. Move the new page name back to the old page name.
Another possibility: 1. Move the new page name back to the old page name. 2. Delete the new page name (now just a redirect with no history).
With the first approach, the page now looks like nothing ever happened (unless you look at the deletion log). With the second approach, the page looks like it was turned into a redirect and then reverted (the two histories get merged). Which is better might depend on your preference -- one shows evidence of vandalism, but is possibly confusing, while the other is less confusing but erases evidence of vandalism.
-Mark