From 9eb9292be4468b5b36fe4217b4f92f8a92c668f6 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 18 Jan 2026 15:13:37 +0100
Subject: home: make git produce useful diffs on .thy files

---
 home/home-minimal.nix | 8 ++++++++
 home/packages.nix     | 3 ++-
 2 files changed, 10 insertions(+), 1 deletion(-)

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; })
   ];
-- 
cgit v1.2.3