From 23ec902debf1b86304faf9b2813170c80c11450e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Thu, 15 Jan 2026 21:35:36 +0100
Subject: [PATCH] overlays/pin-isabelle-2023: drop

---
 nix/overlays/pin-isabelle-2023.nix | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 nix/overlays/pin-isabelle-2023.nix

diff --git a/nix/overlays/pin-isabelle-2023.nix b/nix/overlays/pin-isabelle-2023.nix
deleted file mode 100644
index c5cbab6f..00000000
--- a/nix/overlays/pin-isabelle-2023.nix
+++ /dev/null
@@ -1,7 +0,0 @@
-let
-  sources = import ../../npins;
-in
-_: _: {
-  # Isabelle version 2023
-  isabelle-2023 = (import sources.pin-isabelle { }).isabelle;
-}