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/packages.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'home/packages.nix')

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