refactor(library/logic/connectives): make dependence prop <- eq <- basic
fix(frontends/lean/server): compilation warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/lean/run/class_coe): adjust test to reflect library changes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/logic/basic): rename absurd_elim to absurd, delete contrapos and trivial_not_true theorems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/logic): rename connectives -> core, basic -> connectives
feat(frontends/lean/server): preserve info that occurs in columns before first changed column

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/server): add ECHO command for debugging purposes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean/interactive): add --server test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(src/emacs): add 'begin' reserved keyword

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