--- a/src/Pure/Tools/build.ML Sun Jun 30 11:30:16 2013 +0200
+++ b/src/Pure/Tools/build.ML Sun Jun 30 11:37:34 2013 +0200
@@ -102,6 +102,7 @@
fun use_theories last_timing options =
Thy_Info.use_theories {last_timing = last_timing, master_dir = Path.current}
+ |> Unsynchronized.setmp Proofterm.proofs (Options.int options "proofs")
|> Unsynchronized.setmp print_mode
(space_explode "," (Options.string options "print_mode") @ print_mode_value ())
|> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")