Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper output of raw ML;
authorwenzelm
Sun, 08 Oct 2017 12:36:00 +0200
changeset 66781 dac4cfbfede8
parent 66780 bf54ca580bf2
child 66782 193c31b79a33
proper output of raw ML;
src/Pure/ML/ml_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_process.scala	Sat Oct 07 20:31:01 2017 +0200
+++ b/src/Pure/ML/ml_process.scala	Sun Oct 08 12:36:00 2017 +0200
@@ -98,9 +98,9 @@
           def print_table(table: List[(String, String)]): String =
             ML_Syntax.print_list(
               ML_Syntax.print_pair(
-                ML_Syntax.print_string, ML_Syntax.print_string))(table)
+                ML_Syntax.print_string0, ML_Syntax.print_string0))(table)
           def print_list(list: List[String]): String =
-            ML_Syntax.print_list(ML_Syntax.print_string)(list)
+            ML_Syntax.print_list(ML_Syntax.print_string0)(list)
           List("Resources.init_session_base" +
             " {global_theories = " + print_table(base.global_theories.toList) +
             ", loaded_theories = " + print_list(base.loaded_theories.keys) +
isabelle