Soonho Kong
|
36476b9115
|
fix(lean-util): handle case where incomplete hierarchical name ends with "."
Close #311
|
2014-11-08 23:46:59 -05:00 |
|
Soonho Kong
|
4143716311
|
fix(emacs/lean-util): fix lean-path-list to only include existing dirs
Fix #246
|
2014-10-14 20:48:56 -07:00 |
|
Soonho Kong
|
78e9854bae
|
fix(emacs): support tabs in a file
Fix #226
|
2014-10-07 14:42:35 -07:00 |
|
Soonho Kong
|
3775d07d5f
|
fix(emacs/lean-company): use lean-grab-hname for findp auto-completion
fix #214
|
2014-10-01 09:53:48 -07:00 |
|
Soonho Kong
|
9024cb23fd
|
fix(emacs/lean-util): fix lean-grab-id
|
2014-09-30 15:41:16 -07:00 |
|
Soonho Kong
|
7ab8b8acb7
|
fix(emacs/lean-company): respect lean syntax to extract findp prefix
close #207
|
2014-09-29 16:00:00 -07:00 |
|
Soonho Kong
|
81ecbb4c94
|
fix(emacs/lean-company): import auto complete bug
fix #189
|
2014-09-14 23:15:24 -07:00 |
|
Soonho Kong
|
c77e5c6b34
|
feat(emacs/lean-tags): try to find TAGS file upward and use it without asking
|
2014-08-26 16:22:32 -07:00 |
|
Soonho Kong
|
10fb60e4dd
|
refactor(emacs/lean-util): remove unused functions
- take-first-n/last-n => use -take, -drop (from dash.el)
- string-join => use one in flycheck
- remove other unused functions
|
2014-08-26 16:22:31 -07:00 |
|
Soonho Kong
|
5fa2b9c057
|
fix(emacs/lean-util): add missing 'cl-' prefix
|
2014-08-17 18:09:01 -07:00 |
|
Soonho Kong
|
c19bcad845
|
fix(emacs): add and use lean-string-join
|
2014-08-14 08:42:52 -07:00 |
|
Soonho Kong
|
28d23390a6
|
feat(emacs): implement lean-show-type
|
2014-08-13 17:02:49 -07:00 |
|
Soonho Kong
|
3cd381b0f7
|
fix(emacs): remove lean-get-this-if-true-or-that
|
2014-08-13 15:07:12 -07:00 |
|
Soonho Kong
|
61f3897b0d
|
feat(emacs/lean-util.el): add lean-util.el
|
2014-08-07 09:59:15 -07:00 |
|