[emacs] assimilate Proof General (for Coq)
[~bandali/configs] / lib /
drwxr-xr-x   ..
m--------- - alloy-mode
m--------- - async
m--------- - auto-compile
m--------- - borg
m--------- - closql
m--------- - company
m--------- - dante
m--------- - dash
m--------- - diff-hl
m--------- - emacsql
m--------- - epkg
m--------- - epl
m--------- - evil
m--------- - evil-escape
m--------- - exec-path-from-shell
m--------- - f
m--------- - flycheck
m--------- - flycheck-haskell
m--------- - general
m--------- - ghub
m--------- - git-modes
m--------- - haskell-mode
m--------- - helm
m--------- - hlint-refactor
m--------- - htmlize
m--------- - hydra
m--------- - ivy
m--------- - lcr
m--------- - lean-mode
m--------- - magit
m--------- - magit-popup
m--------- - markdown-mode
m--------- - no-littering
m--------- - notmuch
m--------- - packed
m--------- - pkg-info
m--------- - popup
m--------- - proof-site
m--------- - s
m--------- - smex
m--------- - undo-tree
m--------- - use-package
m--------- - which-key
m--------- - with-editor
m--------- - yaml-mode