--- a/src/Pure/PIDE/resources.scala Tue Jun 21 23:36:16 2022 +0200
+++ b/src/Pure/PIDE/resources.scala Wed Jun 22 11:09:31 2022 +0200
@@ -46,14 +46,14 @@
pair(list(pair(string, list(string))),
pair(list(properties),
pair(list(pair(string, properties)),
- pair(list(pair(string, pair(bool, properties))),
+ pair(list(Scala.encode_fun),
pair(list(pair(string, string)), list(string))))))))(
(sessions_structure.session_positions,
(sessions_structure.dest_session_directories,
(sessions_structure.bibtex_entries,
(command_timings,
(Command_Span.load_commands.map(cmd => (cmd.name, cmd.position)),
- (Scala.functions.map(fun => (fun.name, (fun.multi, fun.position))),
+ (Scala.functions,
(session_base.global_theories.toList,
session_base.loaded_theories.keys)))))))))
}