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

On 13/05/16 16:19, Peter Lammich wrote:

> the theory dependency graphs in AFP, e.g.,
> contain just some blank page, instead of the expected graph. This seems
> to be the case for many entries, not only Trie.

See the thread "Empty session_graph files" (11-Apr-2016) on this mailing


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