--- a/src/Pure/ROOT Fri Aug 23 14:32:51 2019 +0200 +++ b/src/Pure/ROOT Fri Aug 23 15:00:19 2019 +0200 @@ -4,7 +4,7 @@ description " The Pure logical framework. " - options [threads = 1, export_theory] + options [threads = 1, export_theory, export_proofs] theories Pure (global) ML_Bootstrap (global)