tuned signature;
authorwenzelm
Mon Oct 09 21:12:22 2017 +0200 (19 months ago)
changeset 668224642cf4a7ebb
parent 66821 c0e8c199cb2e
child 66823 f529719cc47d
tuned signature;
src/Pure/Thy/sessions.scala
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Mon Oct 09 20:26:02 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Mon Oct 09 21:12:22 2017 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4      overall_syntax: Outer_Syntax = Outer_Syntax.empty,
     1.5      imported_sources: List[(Path, SHA1.Digest)] = Nil,
     1.6      sources: List[(Path, SHA1.Digest)] = Nil,
     1.7 -    session_graph: Graph_Display.Graph = Graph_Display.empty_graph,
     1.8 +    session_graph_display: Graph_Display.Graph = Graph_Display.empty_graph,
     1.9      errors: List[String] = Nil,
    1.10      imports: Option[Base] = None)
    1.11    {
    1.12 @@ -253,7 +253,7 @@
    1.13                  progress, overall_syntax.keywords, check_keywords, theory_files)
    1.14              }
    1.15  
    1.16 -            val session_graph: Graph_Display.Graph =
    1.17 +            val session_graph_display: Graph_Display.Graph =
    1.18              {
    1.19                def session_node(name: String): Graph_Display.Node =
    1.20                  Graph_Display.Node("[" + name + "]", "session." + name)
    1.21 @@ -303,7 +303,7 @@
    1.22                  overall_syntax = overall_syntax,
    1.23                  imported_sources = check_sources(imported_files),
    1.24                  sources = check_sources(session_files),
    1.25 -                session_graph = session_graph,
    1.26 +                session_graph_display = session_graph_display,
    1.27                  errors = thy_deps.errors ::: sources_errors,
    1.28                  imports = Some(imports_base))
    1.29  
     2.1 --- a/src/Pure/Tools/build.scala	Mon Oct 09 20:26:02 2017 +0200
     2.2 +++ b/src/Pure/Tools/build.scala	Mon Oct 09 21:12:22 2017 +0200
     2.3 @@ -198,7 +198,7 @@
     2.4        }
     2.5  
     2.6      private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
     2.7 -    isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph)
     2.8 +    isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph_display)
     2.9  
    2.10      private val future_result: Future[Process_Result] =
    2.11        Future.thread("build") {