index
:
configs
main
My configuration for GNU Emacs and other programs
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
init.org
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
[emacs] assimilate Proof General (for Coq)
Amin Bandali
2018-07-06
1
-0
/
+7
*
[emacs/alloy-mode] use indentation offset of 2 (instead of 3)
Amin Bandali
2018-07-06
1
-1
/
+2
*
[emacs] add alloy-mode
Amin Bandali
2018-07-04
1
-0
/
+6
*
[emacs] some convenience bindings
Amin Bandali
2018-06-27
1
-1
/
+2
*
[emacs] org: export html5, add htmlize for syntax highlighting
Amin Bandali
2018-06-27
1
-1
/
+4
*
[emacs] add evil{,-escape} and general and some keybindings
Amin Bandali
2018-06-24
1
-1
/
+74
*
[emacs] change message fqdn, remove webmasters tag as well when spam
Amin Bandali
2018-06-19
1
-3
/
+3
*
[emacs] don't enable multiple themes at the same time
Amin Bandali
2018-05-13
1
-0
/
+8
*
[emacs] properly build and use notmuch along with my settings
Amin Bandali
2018-05-13
1
-0
/
+184
*
[emacs] enable company-mode globally
Amin Bandali
2018-05-07
1
-0
/
+19
*
[emacs] assimilate and enable dante and its dependency, lcr
Amin Bandali
2018-05-07
1
-0
/
+9
*
[emacs] assimilate and enable which-key
Amin Bandali
2018-05-06
1
-0
/
+13
*
[emacs] assimilate flycheck-haskell
Amin Bandali
2018-05-05
1
-1
/
+153
*
[emacs] add flycheck's missing deps (pkg-info & epl) & configure it
Amin Bandali
2018-05-05
1
-0
/
+11
*
[emacs] assimilate hlint-refactor
Amin Bandali
2018-05-05
1
-1
/
+17
*
[emacs] assimilate haskell-mode
Amin Bandali
2018-05-05
1
-1
/
+10
*
[emacs] tangle init.org before bootstrapping
Amin Bandali
2018-05-03
1
-1
/
+0
*
[emacs] further refine my Emacs' unicode font stack
Amin Bandali
2018-05-03
1
-6
/
+17
*
[emacs] remove duplicate post-init message and shorten counsel delay
Amin Bandali
2018-05-03
1
-5
/
+1
*
[emacs] disable EXWM
Amin Bandali
2018-05-02
1
-2
/
+2
*
[emacs] experiment with EXWM and key bindings
Amin Bandali
2018-05-01
1
-9
/
+152
*
[emacs/ivy] allow wrapping around on first and last candidates
Amin Bandali
2018-05-01
1
-0
/
+1
*
[emacs] unicode font stack around Ubuntu Mono and Hack
Amin Bandali
2018-04-30
1
-2
/
+31
*
[emacs] assimilate lean-mode and dependencies
Amin Bandali
2018-04-30
1
-0
/
+8
*
[emacs] disable C-{j,k} bindings in ivy-minibuffer-map for now
Amin Bandali
2018-04-30
1
-2
/
+2
*
[emacs] stop using EXWM's default config and customize it a bit
Amin Bandali
2018-04-30
1
-2
/
+71
*
[emacs] display time and battery in mode-line
Amin Bandali
2018-04-30
1
-0
/
+20
*
[emacs] use fringe-mode with default width
Amin Bandali
2018-04-30
1
-1
/
+2
*
[emacs] more background info
Amin Bandali
2018-04-30
1
-3
/
+17
*
add some documentation
Amin Bandali
2018-04-30
1
-0
/
+14
*
[emacs] assimilate and enable EXWM
Amin Bandali
2018-04-28
1
-11
/
+12
*
[emacs] enable Ivy and friends
Amin Bandali
2018-04-28
1
-23
/
+23
*
[emacs] enable exec-path-from-shell
Amin Bandali
2018-04-28
1
-10
/
+9
*
[emacs] fix post initialization TOC link on GitHub
Amin Bandali
2018-04-28
1
-2
/
+2
*
[emacs] add Borg's layer/essentials init, with some of my stuff
Amin Bandali
2018-04-28
1
-0
/
+659