Re: [isabelle] how to transform *.thy to *.pdf in Isabelle?

On Thu, 2 Apr 2009, 游珍 wrote:

I don't know how to transform a file(*.thy) to a file(*.pdf) in Isabelle? I did it at one time, but now forget.

You probably mean the 'display_drafts' command -- there is also a menu item for the same in Proof General.


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