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 77709 53dc388b98ec
parent 77675 9e5f8f6e58a0
child 77715 27dd3a3fcc54 
--- a/etc/options	Sun Mar 26 12:41:34 2023 +0200
+++ b/etc/options	Sun Mar 26 12:46:15 2023 +0200
@@ -268,7 +268,7 @@
   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
 
 option headless_load_limit : real = 5.0
-  -- "limit in MB for loaded theory files (0 = unlimited)"
+  -- "limit in MiB for loaded theory files (0 = unlimited)"
 
 
 section "Miscellaneous Tools"
isabelle