--- 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(