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