--- a/src/Tools/jEdit/src/jedit_sessions.scala Sun Apr 23 23:54:06 2017 +0200
+++ b/src/Tools/jEdit/src/jedit_sessions.scala Mon Apr 24 11:05:24 2017 +0200
@@ -49,6 +49,11 @@
def session_name(options: Options): String = session_info(options).name
+ def session_base(options: Options): Sessions.Base =
+ Sessions.session_base(
+ options, session_name(options), dirs = JEdit_Sessions.session_dirs(), all_known = true)
+ .platform_path
+
def session_build_mode(): String = Isabelle_System.getenv("JEDIT_BUILD_MODE")
def session_build(