summaryrefslogtreecommitdiffstats
path: root/lib/proof-site (unfollow)
Commit message (Expand)AuthorFilesLines
2018-12-23[emacs] use ^ ivy prefix for epkg-describe-packageAmin Bandali1-1/+5
2018-12-23[emacs] Update 3 dronesAmin Bandali3-0/+0
2018-12-23[emacs] drop the various doom-like naming conventions, simply use a/Amin Bandali2-70/+54
2018-12-23[emacs] drop after! and use with-eval-after-loadAmin Bandali1-37/+4
2018-12-23[emacs] properly silence the compilation-start advice warningAmin Bandali1-2/+1
2018-12-23[emacs] use 'bar cursorAmin Bandali1-0/+6
2018-12-23[emacs/org] speed commands, startup content state, no invisible editsAmin Bandali1-0/+3
2018-12-23[emacs] remove bbdb — using ebdb nowAmin Bandali34-23436/+0
2018-12-23[emacs] remove old highlight-indent-guides and slack configsAmin Bandali1-82/+0
2018-12-23[emacs/projectile] use ivy for completionAmin Bandali1-1/+2
2018-12-23[emacs] remove pdf-toolsAmin Bandali4-32/+1
2018-12-23[emacs/multi-term] toggle between char and line mode with C-c C-jAmin Bandali1-3/+6
2018-12-22[emacs] remove shell-toggleAmin Bandali3-50/+1
2018-12-22[emacs/ebdb] emacsmirror lags behind, directly use upstream insteadAmin Bandali2-1/+1
2018-12-22[emacs] switch from bbdb to ebdb againAmin Bandali6-1/+66
2018-12-22[emacs] update table of contentsAmin Bandali1-1/+29
2018-12-22[emacs] Assimilate (the awesome) expand-region 0.11.0-18-ged32924Amin Bandali3-2/+13
2018-12-22[emacs] remove unnecessary overrides & silence some compile warningsAmin Bandali1-5/+4
2018-12-22[emacs/compile] better silence the ad-redefinition-actionAmin Bandali1-19/+18
2018-12-22[emacs] don’t display *compilation* on build success (uses cl-letf)Amin Bandali1-12/+27
2018-12-22[emacs/ibuffer] add new rules to my default filter groupAmin Bandali1-7/+15
2018-12-22[emacs] Update 3 dronesAmin Bandali4-2/+2
2018-12-22[rc/sway] darker colour for the barAmin Bandali1-2/+2
2018-12-22[emacs] don’t show compilation window in amin/async-babel-tangleAmin Bandali1-2/+3
2018-12-22Revert "[emacs] don’t display *compilation* on successful builds"Amin Bandali1-29/+12
2018-12-22[emacs] Assimilate 3 drones (geiser & guix & a dep)Amin Bandali5-0/+36
2018-12-22[emacs] add alternative bindings for launching gnus{,-unplugged}Amin Bandali1-2/+4
2018-12-22[emacs] disable typo-mode for init.orgAmin Bandali1-0/+1
2018-12-22[emacs] remove some unused packagesAmin Bandali10-53/+7
2018-12-22[emacs] switch from doom-modeline to smart-mode-line againAmin Bandali4-53/+48
2018-12-22[emacs] don’t display *compilation* on successful buildsAmin Bandali1-12/+29
2018-12-22[emacs] remove and ignore {early-,}init.el againAmin Bandali4-1412/+4
2018-12-21Revert "[emacs] remove init.org"Amin Bandali2-2/+2343
2018-12-21[emacs] remove undo-treeAmin Bandali3-13/+0
2018-12-21[emacs] remove init.orgAmin Bandali2-2343/+2
2018-12-21[emacs] add page-break-lines and divide init up into pagesAmin Bandali4-10/+103
2018-12-21[emacs] unignore and add {early-}init.elAmin Bandali4-55/+1375
2018-12-21[emacs] remove evil and go back to vanilla emacs bindingsAmin Bandali6-244/+41
2018-12-21[emacs] Update 2 dronesAmin Bandali2-0/+0
2018-12-21[emacs] remove unneeded borg-insert-update-message C-c b m bindingAmin Bandali1-1/+0
2018-12-21[emacs] Update 3 dronesAmin Bandali3-0/+0
2018-12-20[emacs] update 4 dronesAmin Bandali4-0/+0
2018-12-20[emacs] update 4 dronesAmin Bandali4-0/+0
2018-12-20[emacs] remove slack and most of its depsAmin Bandali9-63/+42
2018-12-19[emacs] remove magithubAmin Bandali4-12/+1
2018-12-19[emacs] update 10 dronesAmin Bandali10-0/+0
2018-12-17[emacs/magit] add SPC g l binding for magit-log-buffer-fileAmin Bandali1-1/+4
2018-12-17[emacs] update 9 dronesAmin Bandali9-0/+0
2018-12-14[emacs] update 11 dronesAmin Bandali11-0/+0
2018-12-13[emacs] update 5 dronesAmin Bandali5-0/+0