Soonho Kong
|
5965bcc10b
|
refactor(emacs/lean-server): lean-server-check-current-file takes file-name
|
2014-08-26 16:22:31 -07:00 |
|
Soonho Kong
|
7ea5c9541d
|
feat(emacs/lean-info): use cl-struct lean-info-record
|
2014-08-26 16:22:31 -07:00 |
|
Soonho Kong
|
272c463182
|
fix(emacs/lean-info): temporary fix for NAY problem
|
2014-08-21 10:05:14 -07:00 |
|
Soonho Kong
|
7a8796a4ca
|
feat(emacs/lean-info): add identifier/symbol/nay
|
2014-08-18 14:17:44 -07:00 |
|
Soonho Kong
|
24220a5f9e
|
feat(emacs): show synth information
|
2014-08-14 13:22:24 -07:00 |
|
Soonho Kong
|
c19bcad845
|
fix(emacs): add and use lean-string-join
|
2014-08-14 08:42:52 -07:00 |
|
Leonardo de Moura
|
ced0ed0eca
|
fix(emacs): add missing 'require'
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-08-14 08:21:42 -07:00 |
|
Soonho Kong
|
243cf2abb0
|
feat(emacs): show overload information
|
2014-08-14 07:23:15 -07:00 |
|
Soonho Kong
|
28d23390a6
|
feat(emacs): implement lean-show-type
|
2014-08-13 17:02:49 -07:00 |
|