After sitting for months, my pull request to update Isabelle to 2023 in nixpkgs finally has been merged and is in the nixos-unstable channel now
Last updated: Apr 03 2025 at 20:22 UTC