Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 18 2022 at 13:18):

From: 游珍 <yucy0405@163.com>
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.
I need you help.Thanks!
yucy

view this post on Zulip Email Gateway (Aug 18 2022 at 13:19):

From: Makarius <makarius@sketis.net>
You probably mean the 'display_drafts' command -- there is also a menu
item for the same in Proof General.

Makarius

Last updated: May 03 2024 at 08:18 UTC