| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-01-22 | isabelle: allow bringing one's own nixpkgs | stuebinm | 1 | -1/+2 | |
| 2021-07-16 | isabelle fhs env for NixOS | stuebinm | 2 | -0/+49 | |
 |
index : playground | |
| place for smaller experiments which may or may not grow into larger things |
| summaryrefslogtreecommitdiff |