diff options
| -rw-r--r-- | home/home-minimal.nix | 8 | ||||
| -rw-r--r-- | home/packages.nix | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/home/home-minimal.nix b/home/home-minimal.nix index 6f872bf..ce984cf 100644 --- a/home/home-minimal.nix +++ b/home/home-minimal.nix @@ -146,6 +146,13 @@ colorMoved = "plain"; mnemoicPrefix = true; renames = true; + + "isabelle" = { + binary = true; + textconv = (pkgs.writeShellScript "isabelle2unicode-with-arg" '' + cat $1 | isabelle2unicode + '').outPath; + }; }; alias = { @@ -177,6 +184,7 @@ "*.cpp merge=mergiraf" "*.hpp merge=mergiraf" "*.cs merge=mergiraf" + "*.thy diff=isabelle" ]; # diff-so-fancy.enable = true; 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; }) ]; |