src/Pure/Admin/afp.scala

--- a/src/Pure/Admin/afp.scala	Sun Oct 13 16:36:41 2019 +0200
+++ b/src/Pure/Admin/afp.scala	Sun Oct 13 17:17:40 2019 +0200
@@ -20,7 +20,9 @@
       "slow" -> "CPU time much higher than 60min (on mid-range hardware)",
       "very_slow" -> "elapsed time of many hours (on high-end hardware)")
 
-  def groups_bulky: List[String] = List("large", "slow")
+  val groups_bulky: List[String] = List("large", "slow")
+
+  val chapter: String = "AFP"
 
   val force_partition1: List[String] = List("Category3", "HOL-ODE")