Email Gateway (Feb 03 2025 at 20:00): Email Gateway (Feb 03 2025 at 20:00):From: Makarius <makarius@sketis.net>
Isabelle/878a67422fb4 updates scala-3.3.4 LTS to scala-3.3.5 LTS.
This is shortly after Isabelle2025-RC1: I did not risk a last-minute change of
plans, because the Scala guys often produce rather weak releases. Hopefully
the new LTS scheme improves on that culture.
Makarius
Email Gateway (Feb 13 2025 at 16:29):From: Makarius <makarius@sketis.net>
On 03/02/2025 20:59, Makarius wrote:
Isabelle/878a67422fb4 updates scala-3.3.4 LTS to scala-3.3.5 LTS.
This is shortly after Isabelle2025-RC1: I did not risk a last-minute change of
plans, because the Scala guys often produce rather weak releases. Hopefully
the new LTS scheme improves on that culture.
No, it didn't. See now:
changeset: 82136:a43e39c52f26
user: wenzelm
date: Wed Feb 12 00:53:15 2025 +0100
files: Admin/components/main src/Pure/ROOT.ML src/Pure/ROOT.scala
description:
back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;
I tried to find out the reason for this slowdown, but did not succeed --- even
after systematic web search for "bugs" and "fixes".
Makarius
Last updated: Apr 18 2025 at 20:21 UTC