I don't know for sure, but I suspect so. He was meticulous in so many ways, including his thought, his language, and of course his handwriting, so it seems entirely in character that he would redo a draft to make it look flawless.
back
1 comments
My favourite EWD anecdote was a mention of his upbringing, which explains how he was far more articulate in my mother tongue than I am: he was taught never to start uttering a sentence before he knew how it would end.
That certainly sounds like him!
Actually I have an even more amazing artifact. He wrote out the entire book "Predicate Calculus and Program Semantics" as a manuscript, beautifully formatted two pages to a letter-sized sheet, page numbers and all. It is nearly perfect but does have a few crossed out bits. I can't find that anywhere online, and just sent an email to the EWD archive. I'd be very surprised if I have the only extant copy, but if so I will certainly get it properly preserved.