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 more reactive consolidation;
authorwenzelm
Sun, 06 Nov 2022 20:27:35 +0100
changeset 76474 287c3adcdcd6
parent 76473 b45db8030794
child 76475 5c7652e9bc01
afford more reactive consolidation; typical timings for big theories in HOL-Analysis: Session.Consolidate_Execution < 5ms for negative test and < 50ms for positive test;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Sun Nov 06 19:25:48 2022 +0100
+++ b/etc/options	Sun Nov 06 20:27:35 2022 +0100
@@ -193,7 +193,7 @@
 public option editor_output_delay : real = 0.1
   -- "delay for prover output (markup, common messages etc.)"
 
-public option editor_consolidate_delay : real = 2.0
+public option editor_consolidate_delay : real = 1.0
   -- "delay to consolidate status of command evaluation (execution forks)"
 
 public option editor_prune_delay : real = 15
isabelle