src/Pure/ML/ml_process.scala
changeset 67493 c4e9e0c50487
parent 67472 bddfa23a4ea9
child 67520 6ff47e27c32d
     1.1 --- a/src/Pure/ML/ml_process.scala	Tue Jan 23 17:58:09 2018 +0100
     1.2 +++ b/src/Pure/ML/ml_process.scala	Tue Jan 23 19:25:39 2018 +0100
     1.3 @@ -101,8 +101,12 @@
     1.4                  ML_Syntax.print_string_bytes, ML_Syntax.print_string_bytes))(table)
     1.5            def print_list(list: List[String]): String =
     1.6              ML_Syntax.print_list(ML_Syntax.print_string_bytes)(list)
     1.7 +          def print_sessions(list: List[(String, Position.T)]): String =
     1.8 +            ML_Syntax.print_list(
     1.9 +              ML_Syntax.print_pair(ML_Syntax.print_string_bytes, ML_Syntax.print_properties))(list)
    1.10 +
    1.11            List("Resources.init_session_base" +
    1.12 -            " {sessions = " + print_list(base.known.sessions.toList) +
    1.13 +            " {sessions = " + print_sessions(base.known.sessions.toList) +
    1.14              ", doc_names = " + print_list(base.doc_names) +
    1.15              ", global_theories = " + print_table(base.global_theories.toList) +
    1.16              ", loaded_theories = " + print_list(base.loaded_theories.keys) +