# 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"