From b6d7fa1b0b363072d788d22e8be325d7532aafd8 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Fri, 28 Apr 2023 17:03:24 +0200
Subject: update isabelle fhsenv

---
 home/packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'home')

diff --git a/home/packages.nix b/home/packages.nix
index dee9c97..eb3cca0 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -54,7 +54,7 @@ in
     # other things
     mercurial
     # isabelle
-    isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
+    (isabelle.mkEnv "isabelle-env" "fish")
     isabat
 
     (import inputs.traveltext { inherit pkgs; })
-- 
cgit v1.2.3