rudimentary output for isabelle via chat