more dump_checkpoints;
authorwenzelm
Tue, 03 Sep 2019 14:58:29 +0200
changeset 70836 a4d265a6c5cc
parent 70835 fc27cecb66d8
child 70837 3047b7671279
more dump_checkpoints;
src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Sep 03 14:56:43 2019 +0200
+++ b/src/HOL/ROOT	Tue Sep 03 14:58:29 2019 +0200
@@ -734,7 +734,7 @@
     ATP_Problem_Import
 
 session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
-  theories
+  theories [dump_checkpoint]
     Probability
   document_files "root.tex"
 
@@ -745,7 +745,7 @@
     Measure_Not_CCC
 
 session "HOL-Nominal" in Nominal = "HOL-Library" +
-  theories
+  theories [dump_checkpoint]
     Nominal
 
 session "HOL-Nominal-Examples" (timing) in "Nominal/Examples" = "HOL-Nominal" +