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