Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isar -- not printing!

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

From: Amine Chaieb <chaieb@in.tum.de>
Hi,

David Streader wrote:
try :

use_thy "Lts"

instead of use_thy "Lts.thy"

Amine.

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

From: Tobias Nipkow <nipkow@in.tum.de>
If you want to print just a single theory, in ProofGeneral you can go
Isabelle -> Commands -> display draft, which generates a pdf file and
starts the previewer.

Tobias

David Streader wrote:

Last updated: Jan 04 2025 at 20:18 UTC