equal
deleted
inserted
replaced
81 { |
81 { |
82 val dirs = session_dirs() |
82 val dirs = session_dirs() |
83 val name = session_args().last |
83 val name = session_args().last |
84 val content = Build.session_content(PIDE.options.value, inlined_files, dirs, name) |
84 val content = Build.session_content(PIDE.options.value, inlined_files, dirs, name) |
85 content.copy(known_theories = |
85 content.copy(known_theories = |
86 content.known_theories.mapValues(name => name.map(Isabelle_System.jvm_path(_)))) |
86 content.known_theories.mapValues(name => name.map(File.platform_path(_)))) |
87 } |
87 } |
88 } |
88 } |
89 |
89 |