Skip to content

Packaging: Isabelle 2024

The first release candidate for Isabelle 2024 is out and has quite a few changes.

The most important one for this repository is that Naproche is not used anymore1. This means we can stop vendoring the nix derivation and patching it. Yay, hopefully this makes it less work.

I've done some testing with the release candidate already. The main blocker at the moment is likely an ML bug with PolyML type unification that is used in Pure. I've written an email to the isabelle-dev list about it, but it doesn't seem to have been propagated yet.

  1. At least it's not part of the contrib/ anymore. I've yet to fully track down where it has been removed. ↩