src/Pure/ML/ml_process.scala
changeset 67219 81e9804b2014
parent 67052 caf87d4b9b61
child 67471 bddfa23a4ea9
     1.1 --- a/src/Pure/ML/ml_process.scala	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Pure/ML/ml_process.scala	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -102,7 +102,8 @@
     1.4            def print_list(list: List[String]): String =
     1.5              ML_Syntax.print_list(ML_Syntax.print_string_bytes)(list)
     1.6            List("Resources.init_session_base" +
     1.7 -            " {global_theories = " + print_table(base.global_theories.toList) +
     1.8 +            " {sessions = " + print_list(base.known.sessions.toList) +
     1.9 +            ", global_theories = " + print_table(base.global_theories.toList) +
    1.10              ", loaded_theories = " + print_list(base.loaded_theories.keys) +
    1.11              ", known_theories = " + print_table(base.dest_known_theories) + "}")
    1.12        }