tuned;
authorwenzelm
Wed, 18 Nov 2020 08:10:40 +0100
changeset 72882 054d8b212f94
parent 72876 fffad9ad660e
child 72883 fd6dc1a4b9ca
tuned;
src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Tue Nov 17 23:26:41 2020 +0100
+++ b/src/Pure/PIDE/resources.scala	Wed Nov 18 08:10:40 2020 +0100
@@ -37,14 +37,14 @@
       pair(list(string),
       pair(list(pair(string, string)), list(string)))))))))(
        (Symbol.codes,
-       (resources.sessions_structure.session_positions,
-       (resources.sessions_structure.dest_session_directories,
-       (resources.sessions_structure.session_chapters,
-       (resources.sessions_structure.bibtex_entries,
+       (sessions_structure.session_positions,
+       (sessions_structure.dest_session_directories,
+       (sessions_structure.session_chapters,
+       (sessions_structure.bibtex_entries,
        (command_timings,
-       (resources.session_base.doc_names,
-       (resources.session_base.global_theories.toList,
-        resources.session_base.loaded_theories.keys))))))))))
+       (session_base.doc_names,
+       (session_base.global_theories.toList,
+        session_base.loaded_theories.keys))))))))))
   }