Re: [isabelle-dev] linordered_semiring_1

2017-10-30 Thread Florian Haftmann
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,

Re: [isabelle-dev] Slow builds due to excessive heap images

2017-10-30 Thread Tobias Nipkow
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