Re: [isabelle] Very simple ?

In PG, Isabelle -> Commands -> display draft should generate a pdf and start a pdf viewer. Very handy.


David Streader wrote:
How do I print a theory I am working on i.e. still with sorry or oops in?

I normally use
isatool usedir  -c true  -d pdf -v true HOL Machine

but am told

*** Proof may be skipped in quick_and_dirty mode only!

Thanks in advance  david

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