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.,
> 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.

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


	Makarius





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