Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP: Theory dependency graphs are empty

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

From: Peter Lammich <lammich@in.tum.de>
Hi,

the theory dependency graphs in AFP, e.g.,
http://www.isa-afp.org/browser_info/current/AFP/Trie/session_graph.pdf
contain just some blank page, instead of the expected graph. This seems
to be the case for many entries, not only Trie.

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

From: Makarius <makarius@sketis.net>
See the thread "Empty session_graph files" (11-Apr-2016) on this mailing
list.

Makarius

Last updated: Apr 25 2024 at 20:15 UTC