# HG changeset patch
# User wenzelm
# Date 1566565219 -7200
# Node ID 4f4ede0106874cad3504e394ebc40e11ec6f4acd
# Parent  048cf2096186fe0c17e7419d7e662da73f10d885
always export Pure proofs;

diff -r 048cf2096186 -r 4f4ede010687 src/Pure/ROOT
--- 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)