# HG changeset patch
# User wenzelm
# Date 1711974988 -7200
# Node ID 1478c6d528643111fa5b405a21fa68b1c696a894
# Parent  4c1347e172b1c6f0d3c1d40adb4c2ec33f944f1b
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";

diff -r 4c1347e172b1 -r 1478c6d52864 src/Pure/Build/sessions.scala
--- a/src/Pure/Build/sessions.scala	Fri Mar 29 19:28:59 2024 +0100
+++ b/src/Pure/Build/sessions.scala	Mon Apr 01 14:36:28 2024 +0200
@@ -548,7 +548,7 @@
       Group_Info("slow", "CPU time much higher than 60min (on mid-range hardware)",
         bulky = true, afp = true),
       Group_Info("very_slow", "elapsed time of many hours (on high-end hardware)",
-        afp = true),
+        bulky = true, afp = true),
       Group_Info("AFP", "entry within AFP", afp = true),
       Group_Info("doc", "Isabelle documentation"),
       Group_Info("no_doc", "suppressed Isabelle documentation")