From: Makarius <makarius@sketis.net>
* System *
This refers to Isabelle/21164fd15e3d.
The change looks unexciting, but behind it are many weeks / months of
disentangling assumptions about the Scala environment.
Now everything should be clear, and hopefully there are no remaining surprises.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Nov 11 2024 at 04:22 UTC