See now http://isabelle.in.tum.de/repos/isabelle/rev/a1a4a5e2933a
Cheers
Florian
Am 28.10.2017 um 16:14 schrieb Florian Haftmann:
> Hi Akihisa,
>
> thanks for pointing that out.
>
> I will take care of this.
>
> All the best,
> Florian
>
> Am 20.10.2017 um 17:37 schrieb Yamada,
On 29/10/2017 21:52, Makarius wrote:
On 28/10/17 22:26, Makarius wrote:
Overall, performance is mostly the same as in Poly/ML 5.6 from
Isabelle2017, but there are some dropouts. In particular, loading heap
images has become relatively slow: this impacts long heap chains like
HOL-Analysis or