[isabelle] Document Preparation Proofs in Isabelle 2011-1


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?


-Simon Foster.

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