fix(util/lean_path): if directory 'foo' does not contain 'default.lean', then we should also check whether the file 'foo.lean' exists or not, fixes #102

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lean_path): throws an exception if there is an ambiguity when importing a module

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/server): add CLEAR_CACHE command, closes #100

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lean/server): ignore output produced by worker thread, fixes #98

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(frontends/lean/server): refactor lean info server, closes #90, closes #69

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lean): distribute '@' over choice

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
first version of ninja_gen
imenu checkpoint
ninja_gen checkpoint
temp lean-deps