Hi, I've been trying to prepare a latex document in the latest version of Isabelle. I've used isabelle mkdir to create a session and copied in some Isabelle files. It compiles fine, but all the proofs are only shown as <proof>. How can I get the proof output to be shown verbosely? Thanks, -Simon Foster.