| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-12-17 | isabelle env: expose the mkEnv function | stuebinm | 1 | -7/+8 | |
| 2022-12-14 | add isabelle 2022 | stuebinm | 1 | -14/+30 | |
| 2022-01-23 | bump isabelle to 2021-1 | stuebinm | 1 | -2/+2 | |
| 2022-01-22 | isabelle: allow bringing one's own nixpkgs | stuebinm | 1 | -1/+2 | |
| 2021-07-16 | isabelle fhs env for NixOS | stuebinm | 1 | -0/+33 | |
 |
index : playground | |
| place for smaller experiments which may or may not grow into larger things |
| summaryrefslogtreecommitdiff |