Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/components.scala
changeset 77088 6e2c6ccc5dc0
parent 77083 092449efcb0e
child 77090 d3437203c1df 
--- a/src/Pure/System/components.scala	Tue Jan 24 22:48:28 2023 +0100
+++ b/src/Pure/System/components.scala	Tue Jan 24 23:05:32 2023 +0100
@@ -39,7 +39,6 @@
     Isabelle_System.getenv("ISABELLE_COMPONENT_REPOSITORY")
 
   val default_components_base: Path = Path.explode("$ISABELLE_COMPONENTS_BASE")
-  val standard_components_base: Path = Path.explode("$USER_HOME/.isabelle/contrib")
 
   val default_catalogs: List[String] = List("main")
   val optional_catalogs: List[String] = List("main", "optional")
isabelle