support for proof script editing