--- a/src/Pure/Admin/other_isabelle.scala Mon Dec 03 15:15:54 2018 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Mon Dec 03 20:04:48 2018 +0100
@@ -68,8 +68,8 @@
/* components */
- def default_components_base: Path = isabelle_home_user.absolute.dir + Path.explode("contrib")
- def default_components_dir: Path = isabelle_home.absolute + Path.explode("Admin/components")
+ def default_components_base: Path = Components.contrib(isabelle_home_user.absolute.dir)
+ def default_components_dir: Path = Components.admin(isabelle_home.absolute)
def default_catalogs: List[String] = List("main")
def init_components(