diff options
Diffstat (limited to 'arkta/arkta-progmodes.el')
| -rw-r--r-- | arkta/arkta-progmodes.el | 3 |
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 @@ | |||
| 197 | :repo "Kaali/pico8-mode") | 197 | :repo "Kaali/pico8-mode") |
| 198 | :mode "\\.p8\\'") | 198 | :mode "\\.p8\\'") |
| 199 | 199 | ||
| 200 | (use-package proof-general | ||
| 201 | :ensure t) | ||
| 202 | |||
| 200 | (use-package prolog | 203 | (use-package prolog |
| 201 | :ensure nil | 204 | :ensure nil |
| 202 | :mode ("\\.pl\\'" . prolog-mode)) | 205 | :mode ("\\.pl\\'" . prolog-mode)) |