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 | |
| parent | 0d709caed396d24acea583971d4e3c4e5b7c5673 (diff) | |
| -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; }) ]; |