Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";
authorwenzelm
Mon, 01 Apr 2024 14:36:28 +0200
changeset 80062 1478c6d52864
parent 80061 4c1347e172b1
child 80063 588ea80f16bb
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow";
src/Pure/Build/sessions.scala file | annotate | diff | comparison | revisions 
--- 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")
isabelle