summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv (follow)
Commit message (Collapse)AuthorAgeFilesLines
* isabelle fhs env for NixOSstuebinm2021-07-162-0/+49