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.
more balanced AFP partitioning;
authorwenzelm
Sat, 10 Mar 2018 20:24:00 +0100
changeset 67815 8b3d9a91706e
parent 67814 c4c4c2f01723
child 67816 2249b27ab1dd
more balanced AFP partitioning;
src/Pure/Admin/afp.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/afp.scala	Sat Mar 10 15:52:47 2018 +0100
+++ b/src/Pure/Admin/afp.scala	Sat Mar 10 20:24:00 2018 +0100
@@ -85,7 +85,7 @@
 
   /* partition sessions */
 
-  val force_partition1: List[String] = List("Category3", "Network_Security_Policy_Verification")
+  val force_partition1: List[String] = List("Category3", "Formula_Derivatives")
 
   def partition(n: Int): List[String] =
     n match {
isabelle