Update coq properties table