# HG changeset patch
# User wenzelm
# Date 1567758509 -7200
# Node ID 774cc139b1f439518b7cfcac4a40eb75c6267ce3
# Parent  f51955effb025e0c624ed3b10fe620c2a267cefc
more central checkpoint;

diff -r f51955effb02 -r 774cc139b1f4 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"