Re: [isabelle] Any way to deactivate multithreading in Isabelle 2009-1?



Am 24.02.2010 um 03:01 schrieb Thomas Sewell:

Is there any simple way to deactivate multithreading in Isabelle? I'm using Isabelle 2009-1 with PolyML 5.3, and I'm seeing multithreading for the first time.

I've seen it done as follows:

ML {* Multithreading.max_threads := 1 *}
ML {* Goal.parallel_proofs := 0 *}

Jasmin






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.