--- a/src/Pure/PIDE/resources.scala Sat Nov 28 16:25:29 2020 +0100
+++ b/src/Pure/PIDE/resources.scala Sat Nov 28 17:38:03 2020 +0100
@@ -33,18 +33,16 @@
pair(list(pair(string, string)),
pair(list(pair(string, list(string))),
pair(list(properties),
- pair(list(string),
pair(list(pair(string, properties)),
- pair(list(pair(string, string)), list(string)))))))))(
+ pair(list(pair(string, string)), list(string))))))))(
(sessions_structure.session_positions,
(sessions_structure.dest_session_directories,
(sessions_structure.session_chapters,
(sessions_structure.bibtex_entries,
(command_timings,
- (session_base.doc_names,
(Scala.functions.map(fun => (fun.name, fun.position)),
(session_base.global_theories.toList,
- session_base.loaded_theories.keys))))))))))
+ session_base.loaded_theories.keys)))))))))
}