Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 78395 c39819e3adc5
parent 78364 e33cca11b474
child 78400 63d55ba90a9f 
--- a/etc/options	Tue Jul 18 13:32:34 2023 +0200
+++ b/etc/options	Tue Jul 18 13:34:18 2023 +0200
@@ -198,7 +198,7 @@
 option build_database_slice : real = 300
   -- "slice size in MiB for ML heap stored within database"
 
-option build_delay : real = 0.2
+option build_delay : real = 0.5
   -- "delay build process main loop"
isabelle