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.
tuned;
authorwenzelm
Tue, 11 Sep 2012 19:43:06 +0200
changeset 49290 64bed36cd8da
parent 49289 60424f123621
child 49291 66058a677ddd
tuned;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Sep 11 19:35:21 2012 +0200
+++ b/etc/options	Tue Sep 11 19:43:06 2012 +0200
@@ -81,7 +81,7 @@
   -- "timeout for session build job (seconds > 0)"
 
 
-section {* Editor session parameters *}
+section {* Editor reactivity *}
 
 option editor_load_delay : real = 0.5
   -- "delay for file load operations (new buffers etc.)"
isabelle