justbur
9befd20a1a
layers: Transition to new key bindings functions
...
Removes dependence on evil-leader centralizing control over the method
of key binding in core-keybindings.el
2015-11-21 18:22:51 +01:00
Eivind Fonn
c3866382b2
Documentation update
...
- Add #+HTML_HEAD_EXTRA options to all org files
- HTMLize published documentation via CSS
2015-11-13 14:23:13 +01:00
Eivind Fonn
13c5b1d24b
Convert documentation to publishable format
2015-11-01 23:40:29 -05:00
Timothy Jones
2f6a45f561
Rename the idris-lang layer to idris
...
The idris-mode package has been updated to no longer use the
idris-packages variable, which allows the Idris layer to safely be
renamed to the standard for other languages.
2015-09-22 11:08:22 +02:00
