Update html proof