From 619ef12abe52e8584ada93850c00962022ee70f0 Mon Sep 17 00:00:00 2001
From: Uko Kokņevičs
Date: Sat, 28 Jun 2025 10:28:10 +0300
Subject: Add proof-general

---
 arkta/arkta-progmodes.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/arkta/arkta-progmodes.el b/arkta/arkta-progmodes.el
index b2dbd3e..395b0d1 100644
--- a/arkta/arkta-progmodes.el
+++ b/arkta/arkta-progmodes.el
@@ -197,6 +197,9 @@
                        :repo "Kaali/pico8-mode")
   :mode "\\.p8\\'")
 
+(use-package proof-general
+  :ensure t)
+
 (use-package prolog
   :ensure nil
   :mode ("\\.pl\\'" . prolog-mode))
-- 
cgit v1.2.3