michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/load-lean.el): add let-alist

Browse source 
close #729
This commit is contained in:
Soonho Kong 2015-07-15 16:07:35 -07:00
parent 89f69630b6
commit 014a5ea83e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/load-lean.el
View file

@ -11,7 +11,7 @@
(setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path)) (setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path))
(setq lean-logo (create-image (format "%s/lean.pgm" lean-emacs-path))) (setq lean-logo (create-image (format "%s/lean.pgm" lean-emacs-path)))
(setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck lua-mode mmm-mode s)) (setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck let-alist lua-mode mmm-mode s))
(setq load-path (setq load-path
(append (append