Soon (TM) Isabelle will be updated in nixpkgs: https://github.com/NixOS/nixpkgs/pull/130583
Had to disable the naproche server, as that fails on startup, but I was able to build all theories without issue
Isabelle 2021 is now in unstable :tada:
Does this mean it will be in stable around October?
I think so, yes
Created a PR for Isabelle2021-1. This also fixes the veriT solver: https://github.com/NixOS/nixpkgs/pull/152921
I've updated the package to rebuild the heap for HOL (it was invalidated due to the changes done for nixpkgs).
PSA: If you are using the nix isabelle package and update to the newest nixos-unstable, delete
$HOME/.isabelle/heaps. Otherwise isabelle will update them (by rebuilding HOL) instead of using the prebuilt heaps from the package
Last updated: Aug 15 2022 at 04:16 UTC