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.
dump ZF in parallel to HOL Main;
authorwenzelm
Sun, 15 Sep 2019 15:47:47 +0200
changeset 70703 edd856e6051a
parent 70702 a65b9624cb98
child 70704 b080d1fb9777
dump ZF in parallel to HOL Main;
src/ZF/ROOT file | annotate | diff | comparison | revisions 
--- a/src/ZF/ROOT	Sun Sep 15 14:01:57 2019 +0200
+++ b/src/ZF/ROOT	Sun Sep 15 15:47:47 2019 +0200
@@ -44,9 +44,8 @@
   "
   sessions
     FOL
-  theories [dump_checkpoint]
+  theories
     ZF (global)
-  theories
     ZFC (global)
   document_files "root.tex"
isabelle