summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv (unfollow)
Commit message (Collapse)AuthorFilesLines
2023-04-28isabelle-fhsenv: add libraries for F# code genHEADmasterstuebinm1-0/+2
2022-12-17isabelle env: expose the mkEnv functionstuebinm1-7/+8
2022-12-14add isabelle 2022stuebinm1-14/+30
2022-01-23bump isabelle to 2021-1stuebinm1-2/+2
2022-01-22isabelle: allow bringing one's own nixpkgsstuebinm1-1/+2
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49