summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-22isabelle: allow bringing one's own nixpkgsstuebinm1-1/+2
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49