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.
obsolete (see 60abd1e94168);
authorwenzelm
Tue, 01 Oct 2019 19:08:24 +0200
changeset 70777 b52a12559d92
parent 70776 93aed7526a94
child 70778 f326596f5752
obsolete (see 60abd1e94168);
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Oct 01 11:42:23 2019 +0200
+++ b/etc/options	Tue Oct 01 19:08:24 2019 +0200
@@ -219,9 +219,6 @@
 option headless_load_limit : int = 0
   -- "limit for loaded theories (0 = unlimited)"
 
-option execution_eager : bool = false
-  -- "prefer theories with shorter stack of decendants"
-
 option dump_checkpoint : bool = false
   -- "mark individual theories to share common data in ML"
isabelle