[isabelle] Empty session_graph files



Hello all,

while browsing some theory documentation, I noticed that the session_graph files (labeled "theory dependency" in the documentation) are empty (see for example http://isabelle.in.tum.de/dist/library/HOL/HOL/session_graph.pdf <http://isabelle.in.tum.de/dist/library/HOL/HOL/session_graph.pdf> or http://afp.sourceforge.net/browser_info/current/AFP/Jinja/session_graph.pdf <http://afp.sourceforge.net/browser_info/current/AFP/PropResPI/session_graph.pdf> in the AFP). The Isabelle2015 versions are not empty (see http://isabelle.in.tum.de/website-Isabelle2015/dist/library/HOL/HOL/session_graph.pdf <http://isabelle.in.tum.de/website-Isabelle2015/dist/library/HOL/HOL/session_graph.pdf> or http://afp.sourceforge.net/browser_info/Isabelle2015/AFP/Jinja/session_graph.pdf <http://afp.sourceforge.net/browser_info/Isabelle2015/AFP/Jinja/session_graph.pdf>).

Is this the expected behaviour?

Mathias






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