diff -r 935c78a90ee0 -r 05c4c6a99b3f src/Pure/ROOT
--- a/src/Pure/ROOT	Sun Oct 20 12:56:36 2019 +0200
+++ b/src/Pure/ROOT	Sun Oct 20 16:16:23 2019 +0200
@@ -4,7 +4,7 @@
   description "
     The Pure logical framework.
   "
-  options [threads = 1, export_proofs]
+  options [threads = 1, export_proofs, export_standard_proofs]
   theories [export_theory]
     Pure (global)
   theories