equal
deleted
inserted
replaced
90 val props = load_properties() |
90 val props = load_properties() |
91 System.getProperties().putAll(props) |
91 System.getProperties().putAll(props) |
92 |
92 |
93 val options = |
93 val options = |
94 with_documents(Options.init()) |
94 with_documents(Options.init()) |
95 .int.update("parallel_proofs", 2) |
95 .int.update("parallel_proofs", 1) |
96 .int.update("threads", threads) |
96 .int.update("threads", threads) |
97 |
97 |
98 print_section("BUILD") |
98 print_section("BUILD") |
99 println(s"Build started at $start_time") |
99 println(s"Build started at $start_time") |
100 println(s"Isabelle id $isabelle_id") |
100 println(s"Isabelle id $isabelle_id") |