home: make git produce useful diffs on .thy filesHEADmain

1 files changed, 8 insertions, 0 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;