diff options
| author |  Uko Kokņevičs | 2025-06-28 10:28:10 +0300 |
|---|---|---|
| committer | Uko Kokņevičs | 2025-06-28 10:29:24 +0300 |
| commit | 619ef12abe52e8584ada93850c00962022ee70f0 (patch) | |
| tree | 9f095d9ccbf0c79043ecf6779d3788e599f0fdb1 | |
| parent | Add kotlin-ts-mode (diff) | |
| download | emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.tar.gz emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.tar.xz emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.zip | |
Add proof-general
| -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)) |