When reproving theorems using PVS's batch mode, is there anyway to report the number of steps a proof took? Right now I've resorted to parsing the proof replay file - I'm hoping there's a better way. Thanks jerome