src/Pure/System/isabelle_system.scala
changeset 73867 cc36841eeff6
parent 73866 6ba5f9d18c56
child 73880 f033d4f661e9
--- a/src/Pure/System/isabelle_system.scala	Thu Apr 29 15:49:04 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Apr 29 22:39:33 2021 +0200
@@ -621,11 +621,11 @@
 
   /* repositories */
 
-  val isabelle_repository: Mercurial.Address =
-    Mercurial.Address("https://isabelle.sketis.net/repos/isabelle")
+  val isabelle_repository: Mercurial.Server =
+    Mercurial.Server("https://isabelle.sketis.net/repos/isabelle")
 
-  val afp_repository: Mercurial.Address =
-    Mercurial.Address("https://isabelle.sketis.net/repos/afp-devel")
+  val afp_repository: Mercurial.Server =
+    Mercurial.Server("https://isabelle.sketis.net/repos/afp-devel")
 
   def official_releases(): List[String] =
     Library.trim_split_lines(