larstvei/emacs
1
1
Fork 0
mirror of https://github.com/larstvei/dot-emacs.git synced 2024-11-26 07:28:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add z3-mode

Browse Source
This commit is contained in:
Lars Tveito 2020-09-22 18:16:57 +02:00
parent 7d6551a345
commit 2c2135838e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
init.org
View File

@ -221,7 +221,8 @@
slime ; Superior Lisp Interaction Mode for Emacs slime ; Superior Lisp Interaction Mode for Emacs
try ; Try out Emacs packages try ; Try out Emacs packages
vterm ; A terminal via libvterm vterm ; A terminal via libvterm
which-key))) ; Display available keybindings in popup which-key ; Display available keybindings in popup
z3-mode))) ; z3/SMTLIBv2 interactive development
(when (memq window-system '(mac ns)) (when (memq window-system '(mac ns))
(push 'exec-path-from-shell packages) (push 'exec-path-from-shell packages)
(push 'reveal-in-osx-finder packages)) (push 'reveal-in-osx-finder packages))