proof tex updates