[isabelle-dev] Improved Graphview

Makarius makarius at sketis.net
Mon Jan 26 20:04:02 CET 2015

Here is another small stepping stone: Isabelle/e82c72f3b227.  The 
Isabelle/Scala graph layout is now used to produce the session_graph.pdf 
for document preparation.  Moreover the same output is used for "theory 
dependencies" in HTML, and the old GraphBrowser applet has been 

What is still remaining is the "old browser" alternative of thy_deps, 
locale_deps, class_deps, thm_deps, code_deps.  It is not fully superseded 
by the new graphview yet, because the latter still lacks possibilities to 
fold subgraphs (according to hierarchical tree structure of the name 
space, or all preds/succs within the graph dependencies).


More information about the isabelle-dev mailing list