Jan van Brügge (Jul 18 2021 at 22:37): Jan van Brügge (Jul 18 2021 at 22:37):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
Jan van Brügge (Jul 23 2021 at 09:25):Isabelle 2021 is now in unstable :tada:
Wolfgang Jeltsch (Sep 10 2021 at 15:56):Does this mean it will be in stable around October?
Jan van Brügge (Sep 14 2021 at 18:50):I think so, yes
Jan van Brügge (Dec 31 2021 at 12:16):Created a PR for Isabelle2021-1. This also fixes the veriT solver: https://github.com/NixOS/nixpkgs/pull/152921
Jan van Brügge (Jan 30 2022 at 14:07):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: Apr 25 2024 at 12:23 UTC