From ac3d33c64b74cea3a2fc0bc04363e8c9710cf996 Mon Sep 17 00:00:00 2001
From: sempiternal-aurora
 <78790545+sempiternal-aurora@users.noreply.github.com>
Date: Sun, 26 Apr 2026 12:10:58 +1000
Subject: [PATCH] vimPlugins.{isabelle-lsp-nvim,isabelle-syn-nvim}: init

---
 .../editors/vim/plugins/generated.nix         | 26 +++++++++++++++++++
 .../editors/vim/plugins/vim-plugin-names      |  2 ++
 2 files changed, 28 insertions(+)

diff --git a/pkgs/applications/editors/vim/plugins/generated.nix b/pkgs/applications/editors/vim/plugins/generated.nix
index ccd0a0254e9c..db6fa913c2c9 100644
--- a/pkgs/applications/editors/vim/plugins/generated.nix
+++ b/pkgs/applications/editors/vim/plugins/generated.nix
@@ -7306,6 +7306,32 @@ final: prev: {
     meta.hydraPlatforms = [ ];
   };
 
+  isabelle-lsp-nvim = buildVimPlugin {
+    pname = "isabelle-lsp.nvim";
+    version = "0-unstable-2025-12-02";
+    src = fetchFromGitHub {
+      owner = "Treeniks";
+      repo = "isabelle-lsp.nvim";
+      rev = "3601b59d77cc4998de29f966ded7d4d959318be2";
+      hash = "sha256-2SijIavooMFft9S/fMcH/YE77wctAP0Oneg/YAR9+LM=";
+    };
+    meta.homepage = "https://github.com/Treeniks/isabelle-lsp.nvim/";
+    meta.hydraPlatforms = [ ];
+  };
+
+  isabelle-syn-nvim = buildVimPlugin {
+    pname = "isabelle-syn.nvim";
+    version = "0-unstable-2024-05-15";
+    src = fetchFromGitHub {
+      owner = "Treeniks";
+      repo = "isabelle-syn.nvim";
+      rev = "114b06dc34edf1707be7249b5a3815733e68d4c9";
+      hash = "sha256-f04jyExUwos9w89IeKbRdRMtWIsQYe0McAUoijq7mCA=";
+    };
+    meta.homepage = "https://github.com/Treeniks/isabelle-syn.nvim/";
+    meta.hydraPlatforms = [ ];
+  };
+
   iswap-nvim = buildVimPlugin {
     pname = "iswap.nvim";
     version = "0-unstable-2026-03-25";
diff --git a/pkgs/applications/editors/vim/plugins/vim-plugin-names b/pkgs/applications/editors/vim/plugins/vim-plugin-names
index 22835e110fa6..201409414546 100644
--- a/pkgs/applications/editors/vim/plugins/vim-plugin-names
+++ b/pkgs/applications/editors/vim/plugins/vim-plugin-names
@@ -560,6 +560,8 @@ https://github.com/ajbucci/ipynb.nvim/,,
 https://github.com/twerth/ir_black/,,
 https://github.com/Vigemus/iron.nvim/,,
 https://github.com/haya14busa/is.vim/,,
+https://github.com/Treeniks/isabelle-lsp.nvim/,,
+https://github.com/Treeniks/isabelle-syn.nvim/,,
 https://github.com/mizlan/iswap.nvim/,,
 https://github.com/vim-scripts/jdaddy.vim/,,
 https://github.com/mahyarmirrashed/jdd.nvim/,,