--- a/src/Pure/System/components.scala Tue Jan 24 23:05:32 2023 +0100
+++ b/src/Pure/System/components.scala Wed Jan 25 13:16:43 2023 +0100
@@ -39,6 +39,7 @@
Isabelle_System.getenv("ISABELLE_COMPONENT_REPOSITORY")
val default_components_base: Path = Path.explode("$ISABELLE_COMPONENTS_BASE")
+ val standard_components_base: String = "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/contrib}"
val default_catalogs: List[String] = List("main")
val optional_catalogs: List[String] = List("main", "optional")