[isabelle] AFP: Theory dependency graphs are empty



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.


--
  Peter







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