playground/isabelle-nix-fhsenv, branch master place for smaller experiments which may or may not grow into larger things https://stuebinm.eu/git/playground/atom/isabelle-nix-fhsenv?h=master 2023-04-28T15:00:42Z isabelle-fhsenv: add libraries for F# code gen 2023-04-28T15:00:42Z stuebinm 2023-04-28T15:00:42Z urn:sha1:19144f12772063b1c6f00ad186dabbf53ea25985 isabelle env: expose the mkEnv function 2022-12-17T20:45:06Z stuebinm 2022-12-17T20:32:24Z urn:sha1:68ac088c2969fb543aae747468702771f2d6a7e9 add isabelle 2022 2022-12-14T13:51:52Z stuebinm 2022-12-14T13:51:52Z urn:sha1:740795d854d6c1b502f088da53fbc005bea3f7d5 bump isabelle to 2021-1 2022-01-23T15:00:01Z stuebinm 2022-01-23T15:00:01Z urn:sha1:2c9c4425903fdd168ba6cfbc3e9e5df35a111682 isabelle: allow bringing one's own nixpkgs 2022-01-22T15:16:34Z stuebinm 2022-01-22T15:16:34Z urn:sha1:33e52e07bad4adde3b9e0478b26e3a48d359b617 isabelle fhs env for NixOS 2021-07-16T13:05:09Z stuebinm 2021-07-16T13:05:09Z urn:sha1:b160fc2033cfa8a356098d962bab790ec273ec03