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 60843 9980f3bcdea2
parent 60765 e43e71a75838
child 60845 c4cb46e3cdd1 
--- a/etc/options	Wed Aug 05 14:18:07 2015 +0200
+++ b/etc/options	Wed Aug 05 16:13:42 2015 +0200
@@ -111,7 +111,7 @@
   -- "ML debugger in single-step mode"
 
 public option ML_statistics : bool = true
-  -- "ML runtime system statistics"
+  -- "ML run-time system statistics"
 
 
 section "Editor Reactivity"
isabelle