changeset 64599 | 80ef54198f44 |
parent 64308 | b00508facb4f |
child 65058 | 3e9f382fb67e |
--- a/src/Pure/Tools/build.ML Sun Dec 18 15:41:23 2016 +0100 +++ b/src/Pure/Tools/build.ML Sun Dec 18 15:53:27 2016 +0100 @@ -109,6 +109,7 @@ (if Options.bool options "checkpoint" then ML_Heap.share_common_data () else (); Options.set_default options; Isabelle_Process.init_options (); + Future.fork I; (Thy_Info.use_theories { document = Present.document_enabled (Options.string options "document"), symbols = symbols,