src/Pure/Admin/afp.scala

--- a/src/Pure/Admin/afp.scala	Wed Apr 28 13:03:09 2021 +0200
+++ b/src/Pure/Admin/afp.scala	Wed Apr 28 14:03:26 2021 +0200
@@ -13,8 +13,6 @@
 
 object AFP
 {
-  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",
       "slow" -> "CPU time much higher than 60min (on mid-range hardware)",