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 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'home/home-minimal.nix')

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