Return to Revisions

I think this can be treated using a gluing theorem for homotopy equivalences which is discussed in my answer to this stackexchange question. You have to represent the realisation of a simplicial space as a repeated adjunction space, but that is not too hard.