summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterbump isabelle to 2021-1stuebinm4 months
 
 
AgeCommit messageAuthorFilesLines
2022-01-23bump isabelle to 2021-1HEADmasterstuebinm1-2/+2
2022-01-22isabelle: allow bringing one's own nixpkgsstuebinm1-1/+2
2021-09-11obs-qmlview for nixstuebinm3-0/+110
2021-07-20playing around with IO in Nixstuebinm3-0/+260
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49
2021-06-08turing machine in nixstuebinm2-0/+110
2021-05-31nixos oci container: add tag optionstuebinm1-1/+2
2021-05-31nixos-modules oci container: keep to the specstuebinm1-2/+2
2021-05-28hakyll wrapped in a nix derivationstuebinm19-0/+638
2021-05-22pretty printing formulae for sequence calculusstuebinm1-0/+15
[...]