src/Pure/Admin/isabelle_cronjob.scala

     history: Int = 0,
     history_base: String = "build_history_base",
     options: String = "",
     args: String = "",
     afp: Boolean = false,
-    slow: Boolean = false,
+    bulky: Boolean = false,
     more_hosts: List[String] = Nil,
     detect: SQL.Source = "",
     active: Boolean = true)
   {
     def ssh_session(context: SSH.Context): SSH.Session =

       Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
       SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) +
       (if (detect == "") "" else " AND " + SQL.enclose(detect))
 
     def profile: Build_Status.Profile =
-      Build_Status.Profile(description, history = history, afp = afp, slow = slow, sql = sql)
+      Build_Status.Profile(description, history = history, afp = afp, bulky = bulky, sql = sql)
 
     def pick(
       options: Options,
       rev: String = "",
       filter: Item => Boolean = _ => true): Option[(String, Option[String])] =

   }
 
   val remote_builds_old: List[Remote_Build] =
     List(
       Remote_Build("AFP", "lxbroy7",
-          args = "-N -X slow",
+          args = "-N -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
       Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
         history_base = "37074e22e8be",
         options = "-m32 -B -M1x2,2 -t polyml-5.7 -i 'init_component /home/isabelle/contrib/polyml-5.7'",

           options = "-m32 -M1x2 -t AFP -P" + n +
             " -e ISABELLE_GHC=ghc" +
             " -e ISABELLE_MLTON=mlton" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +
             " -e ISABELLE_SMLNJ=/home/smlnj/bin/sml",
-          args = "-N -X slow",
+          args = "-N -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
       }
     }
   }

       List(
         Remote_Build("AFP slow", "lrzcloud1", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           ssh_host = "10.155.208.96", ssh_permissive = true,
           options = "-m64 -M6 -U30000 -s10 -t AFP",
-          args = "-g slow",
+          args = "-g large -g slow",
           afp = true,
-          slow = true,
+          bulky = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))))
 
   def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build)
     : Logger_Task =
   {