summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv (unfollow)
Commit message (Expand)AuthorFilesLines
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49