Re: [isabelle] Very simple ?



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

Tobias

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.