Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Session dependency graph?

view this post on Zulip Email Gateway (May 28 2025 at 18:33):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
Hi all,

is there simple possibility to obtain a visual graph for session
dependencies? Similiarly what thy_deps does for theories?

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: May 30 2025 at 04:27 UTC