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.
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
authorwenzelm
Wed, 21 Jun 2023 15:31:18 +0200
changeset 78189 e9f96422f607
parent 78188 fd68b98de1f6
child 78190 40ae1cd71133
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Wed Jun 21 15:20:58 2023 +0200
+++ b/etc/options	Wed Jun 21 15:31:18 2023 +0200
@@ -195,7 +195,7 @@
 option build_database_test : bool = false
   -- "expose state of build process via central database"
 
-option build_database_slice : real = 50.0
+option build_database_slice : real = 300
   -- "slice size in MiB for ML heap stored within database"
isabelle