awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-13 13:13:35 -05:00
Code Issues Packages Projects Releases Wiki Activity
16,869 Commits 3 Branches 14 Tags
dde20aa8fd5dc32e8932c41e85e0123147b33e6c
Commit Graph

4 Commits

Author SHA1 Message Date
Henrik Lissner
7e491ce1c0 lang/lean: minor reformatting 2021-02-26 21:33:00 -05:00
Rudi Grinberg
8778eb2288 Disable auto initializatinon of company in lean mode 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2019-09-10 09:47:56 +09:00
Rudi Grinberg
2527306069 Use map! with after! to setup bindings 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2019-09-10 09:47:56 +09:00
Rudi Grinberg
dbf9e9e2c7 Add a module for the lean theorem prover 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2019-09-10 09:47:56 +09:00