support for the proof shell in ideslave mode