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.
more ambitious options (again, after 93aa546ffbac);
authorwenzelm
Sun, 15 Sep 2019 13:52:30 +0200
changeset 70700 4b3cfd73f428
parent 70699 3eb30d80cee6
child 70701 e54213954efc
more ambitious options (again, after 93aa546ffbac);
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Sun Sep 15 13:42:01 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Sun Sep 15 13:52:30 2019 +0200
@@ -214,7 +214,7 @@
             unicode_symbols = unicode_symbols,
             share_common_data = false /* FIXME true */,
             progress = progress,
-            checkpoints = Set.empty /* FIXME deps.dump_checkpoints */,
+            checkpoints = deps.dump_checkpoints,
             commit = Some(Consumer.apply _))
 
         val bad_theories = Consumer.shutdown()
isabelle