--- a/src/Pure/System/components.scala Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/System/components.scala Wed Feb 12 13:32:04 2025 +0100
@@ -149,7 +149,7 @@
progress: Progress = new Progress
): Directory = {
val base_name = local_dir.expand.base
- val local_directory = Directory(local_dir).check
+ Directory(local_dir).check
val remote_directory = Directory(base_dir + base_name, ssh = ssh)
if (remote_directory.ok) remote_directory
else {
--- a/src/Pure/Tools/profiling.scala Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/Tools/profiling.scala Wed Feb 12 13:32:04 2025 +0100
@@ -76,7 +76,6 @@
): Statistics = {
val session_base = session_background.base
val session_name = session_base.session_name
- val sessions_structure = session_background.sessions_structure
val session = {
val args = session_base.used_theories.map(p => p._1.theory)
--- a/src/Pure/Tools/scala_project.scala Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/Tools/scala_project.scala Wed Feb 12 13:32:04 2025 +0100
@@ -230,9 +230,8 @@
progress.echo("Creating " + build_tool + " project directory: " + project_dir.absolute)
Isabelle_System.make_directory(project_dir)
-
- val java_src_dir = Isabelle_System.make_directory(project_dir + build_tool.java_src_dir)
- val scala_src_dir = Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir)
+ Isabelle_System.make_directory(project_dir + build_tool.java_src_dir)
+ Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir)
val (jars, sources) = isabelle_files
isabelle_scala_files