Sebastian Ullrich de5b68f126 fix(CMakeLists,bin/leanc.in): fix installed leanc		2019-05-12 13:43:36 +02:00
..
.gitignore
lean-bootstrapped	feat(library/init/lean/frontend,bin/lean-bootstrapped): expose new frontend as executable	2018-12-20 14:28:18 +01:00
lean-gdb.py	chore(bin/lean-gdb): add lean::object pretty printer	2019-02-07 13:02:48 +01:00
leanc.in	fix(CMakeLists,bin/leanc.in): fix installed leanc	2019-05-12 13:43:36 +02:00
leanpkg
leanpkg.bat