This website requires JavaScript.
Explore
Help
Sign In
awesome-emacs
/
doomemacs
Watch
1
Star
0
Fork
0
You've already forked doomemacs
mirror of
https://github.com/doomemacs/doomemacs
synced
2025-08-03 12:27:26 -05:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
e47d357e56c686870b6d51a1e539c724a7bdc0a6
doomemacs
/
modules
/
lang
/
lean
History
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
..
config.el
Disable auto initializatinon of company in lean mode
2019-09-10 09:47:56 +09:00
packages.el
Add a module for the lean theorem prover
2019-09-10 09:47:56 +09:00