Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML/ml_process.scala
changeset 71876 ad063ac1f617
parent 71875 aaa984499d36
child 71881 71de0a253842 
--- a/src/Pure/ML/ml_process.scala	Sun May 24 10:36:42 2020 +0200
+++ b/src/Pure/ML/ml_process.scala	Sun May 24 12:38:41 2020 +0200
@@ -93,7 +93,8 @@
               ML_Syntax.print_pair(ML_Syntax.print_string_bytes, ML_Syntax.print_properties))(list)
 
           List("Resources.init_session" +
-            " {session_positions = " + print_sessions(sessions_structure.session_positions) +
+            "{pide = false" +
+            ", session_positions = " + print_sessions(sessions_structure.session_positions) +
             ", session_directories = " + print_table(sessions_structure.dest_session_directories) +
             ", docs = " + print_list(base.doc_names) +
             ", global_theories = " + print_table(base.global_theories.toList) +
isabelle