|
|
a9402cfb55
|
Fix #2373: bring back package pinning
This needs some serious refactoring...
|
2020-01-25 19:02:00 -05:00 |
|
|
|
4cc14389e8
|
PIN ALL THE PACKAGES
|
2020-01-14 22:32:11 -05:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
