Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: avoid indirection of repository servers;
authorwenzelm
Fri, 28 Jun 2024 23:53:48 +0200
changeset 80451 e0bd9e4811ad
parent 80450 4355857e13a6
child 80452 0303b3a0edde
child 80454 1b5ba70a64b9
more robust: avoid indirection of repository servers;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Fri Jun 28 23:53:25 2024 +0200
+++ b/src/Pure/System/isabelle_system.scala	Fri Jun 28 23:53:48 2024 +0200
@@ -561,10 +561,10 @@
   /* repositories */
 
   val isabelle_repository: Mercurial.Server =
-    Mercurial.Server("https://isabelle.sketis.net/repos/isabelle")
+    Mercurial.Server("https://isabelle.in.tum.de/repos/isabelle")
 
   val afp_repository: Mercurial.Server =
-    Mercurial.Server("https://isabelle.sketis.net/repos/afp-devel")
+    Mercurial.Server("https://foss.heptapod.net/isa-afp/afp-devel")
 
   def official_releases(): List[String] =
     Library.trim_split_lines(
isabelle