# HG changeset patch # User wenzelm # Date 1571477379 -7200 # Node ID b9567a9f44a0e768132cb1a43af0fb2b708801c9 # Parent a6304b4664b6c3838554c58367fe9345ef7b3dea proper export of bootstrap proofs (amending a6304b4664b6); diff -r a6304b4664b6 -r b9567a9f44a0 src/Pure/ROOT --- a/src/Pure/ROOT Fri Oct 18 22:45:09 2019 +0200 +++ b/src/Pure/ROOT Sat Oct 19 11:29:39 2019 +0200 @@ -4,8 +4,8 @@ description " The Pure logical framework. " - options [threads = 1] - theories [export_theory, export_proofs] + options [threads = 1, export_proofs] + theories [export_theory] Pure (global) theories ML_Bootstrap (global)