more central checkpoint;
authorwenzelm
Fri, 06 Sep 2019 10:28:29 +0200
changeset 70846 774cc139b1f4
parent 70845 f51955effb02
child 70847 2bf1d0e57695
more central checkpoint;
src/ZF/ROOT
--- a/src/ZF/ROOT	Wed Sep 04 22:12:44 2019 +0200
+++ b/src/ZF/ROOT	Fri Sep 06 10:28:29 2019 +0200
@@ -44,9 +44,9 @@
   "
   sessions
     FOL
-  theories
+  theories [dump_checkpoint]
     ZF (global)
-  theories [dump_checkpoint]
+  theories
     ZFC (global)
   document_files "root.tex"