--- a/src/Pure/Admin/other_isabelle.scala Thu Jul 15 16:35:45 2021 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Thu Jul 15 17:33:06 2021 +0200
@@ -57,10 +57,6 @@
def getenv(name: String): String =
other_isabelle("getenv -b " + Bash.string(name)).check.out
- def setup_classpath(): String =
- other_isabelle("env bash -c " +
- Bash.string("isabelle_setup_classpath && isabelle getenv -b ISABELLE_CLASSPATH")).check.out
-
val isabelle_home_user: Path = Path.explode(getenv("ISABELLE_HOME_USER"))
val etc: Path = isabelle_home_user + Path.explode("etc")