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 61873 7e8f4df04d5d
parent 61604 bb20f11dd842
child 62115 57895801cb57 
--- a/etc/options	Sat Dec 19 23:19:10 2015 +0100
+++ b/etc/options	Sat Dec 19 23:25:23 2015 +0100
@@ -125,7 +125,7 @@
 public option editor_output_delay : real = 0.1
   -- "delay for prover output (markup, common messages etc.)"
 
-public option editor_prune_delay : real = 60.0
+public option editor_prune_delay : real = 30.0
   -- "delay to prune history (delete old versions)"
 
 public option editor_update_delay : real = 0.5
isabelle