--- a/src/Pure/System/isabelle_system.scala Sat Jun 01 14:08:04 2024 +0200
+++ b/src/Pure/System/isabelle_system.scala Sat Jun 01 14:33:38 2024 +0200
@@ -117,10 +117,6 @@
else ""
}
- def export_env(user_home: String = "", isabelle_identifier: String = ""): String =
- "export USER_HOME=" + Bash.string(user_home) + "\n" +
- "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n"
-
def isabelle_identifier(): Option[String] = proper_string(getenv("ISABELLE_IDENTIFIER"))
def isabelle_heading(): String =