1 files changed, 3 insertions, 0 deletions

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))