diff options
Diffstat (limited to '')
| -rw-r--r-- | home/packages.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/home/packages.nix b/home/packages.nix index 532dfc6..f545341 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -64,7 +64,8 @@ in # nix things npins nix-output-monitor direnv # isabelle - # (isabelle.mkEnv "isabelle-env" "fish") isabat + # (isabelle.mkEnv "isabelle-env" "fish") + isabat isabelle-utils (import inputs.traveltext { inherit pkgs; }) ]; |