Isabelle_DOF/Isabelle_DOF
0
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
main
Isabelle_DOF/.envrc
Achim D. Brucker 1ecec5a70b Update.
2026-02-01 18:44:57 +00:00

3 lines
45 B
Plaintext
Raw Permalink Blame History

export ISABELLE_VERSION=2025-2
PATH_add .bin
Reference in New Issue View Git Blame Copy Permalink