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

---
 flake.lock        | 8 ++++----
 home/packages.nix | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 87bbeff..a826029 100644
--- a/flake.lock
+++ b/flake.lock
@@ -335,11 +335,11 @@
     "playground": {
       "flake": false,
       "locked": {
-        "lastModified": 1671309906,
-        "narHash": "sha256-KAGg33dPv4ar6JThhbwPcERYstqiDQveNNeWu9/r3Pk=",
+        "lastModified": 1682694042,
+        "narHash": "sha256-c3lC31iR1CPi8A8nV8ZjMtpt0cUACz4V4LUBd4awQOs=",
         "ref": "refs/heads/master",
-        "rev": "68ac088c2969fb543aae747468702771f2d6a7e9",
-        "revCount": 24,
+        "rev": "19144f12772063b1c6f00ad186dabbf53ea25985",
+        "revCount": 25,
         "type": "git",
         "url": "https://stuebinm.eu/git/playground"
       },
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