changeset 69787 | 60b5a4731695 |
parent 69693 | 06153e2e0cdb |
child 69973 | a3e3be17dca5 |
--- a/src/Pure/Admin/afp.scala Mon Feb 04 12:07:55 2019 +0100 +++ b/src/Pure/Admin/afp.scala Mon Feb 04 14:03:31 2019 +0100 @@ -9,7 +9,7 @@ object AFP { - val repos_source = "https://bitbucket.org/isa-afp/afp-devel" + val repos_source = "https://isabelle.sketis.net/repos/afp-devel" val groups: Map[String, String] = Map("large" -> "full 64-bit memory model or word arithmetic required",