Re: [isabelle] Empty session_graph files



Hi all,

I found the culprit (by bisecting the commits): it is commit http://isabelle.in.tum.de/reports/Isabelle/rev/dcc8e1d34b18 <http://isabelle.in.tum.de/reports/Isabelle/rev/dcc8e1d34b18> (by Makarius Wenzel). The change is simply:
-     File.copy(graph_file, (session_prefix + Path.basic("session_graph.pdf")).file)
+     File.write(session_prefix + Path.basic("session_graph.pdf"), File.read(graph_file))

Does anyone understand what is going on here? The two commands generates files with different sizes (File.write generates a longer file than File.copy).

Best regards,
Mathias
 
> On 11 Apr 2016, at 08:34, Fleury Mathias <mathias.fleury12 at gmail.com <mailto:mathias.fleury12 at gmail.com>> wrote:
> 
> 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.