New version of hiproofs