[isabelle] Document Preparation Proofs in Isabelle 2011-1



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.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.