Maxime Dénès (Feb 14 2023 at 13:26): Maxime Dénès (Feb 14 2023 at 13:26):In case some of you are still using nix-shell to setup a vscoq developer build, after https://github.com/coq-community/vscoq/pull/378 you'll have to switch to nix develop. The documentation was updated, please let me know if some things are missing.
Last updated: Apr 19 2024 at 19:02 UTC