diff options
| author | stuebinm | 2026-01-18 15:13:37 +0100 |
|---|---|---|
| committer | stuebinm | 2026-01-18 15:13:37 +0100 |
| commit | 9eb9292be4468b5b36fe4217b4f92f8a92c668f6 (patch) | |
| tree | 0fa4d8f2c9265fc35e8357262c41b4bbf0f6dfaa /home/packages.nix | |
| parent | 0d709caed396d24acea583971d4e3c4e5b7c5673 (diff) | |
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; }) ]; |