Re: [isabelle] Isabelle2015-RC0 available for testing



> Incidentally, this behavior of Sledgehammer is nothing new. Is the issue really new with Isabelle2015-RC0? What happens if you write
>
>     ML {* Multithreading.max_threads_value () *}
>
> in Isabelle2014 vs. Isabelle2015-RC0?

Both report "2". I have a dual core cpu with 2 physical cores and
thanks to hyperthreading two additional virtual cores. /proc/cpuinfo
lists 4 processors.

  Cornelius




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