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 afp_repository, with regular hgweb URLs;
authorwenzelm
Sun, 05 Jan 2025 18:10:34 +0100
changeset 81732 60f21b6e4f57
parent 81731 3af5379aac0e
child 81733 94f018b2a4fb
more robust afp_repository, with regular hgweb URLs;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Sun Jan 05 16:22:36 2025 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sun Jan 05 18:10:34 2025 +0100
@@ -564,7 +564,7 @@
     Mercurial.Server("https://isabelle.in.tum.de/repos/isabelle")
 
   val afp_repository: Mercurial.Server =
-    Mercurial.Server("https://foss.heptapod.net/isa-afp/afp-devel")
+    Mercurial.Server("https://isabelle.sketis.net/repos/afp-devel")
 
   def official_releases(): List[String] =
     Library.trim_split_lines(
isabelle