Re: [isabelle] Isabelle2021-1-RC3: excessive Poly/ML heap requirements



The question: Is this really a new problem for Isabelle2021-1 that was absent
in Isabelle2021?

Yes, this problem is new. As I said, I've ported the application to Isabelle2021-1 and never experienced that kind of excessive heap usage before.

--
Lars Hupel, lars.hupel at innoq.com, https://www.innoq.com
innoQ Deutschland GmbH, Krischerstr. 100, 40789 Monheim am Rhein, Germany




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