Sebastian Ullrich af6eb0bcdd chore(bin/lean-gdb.py): update to compressed headers		2019-09-12 18:22:02 +02:00
..
.gitignore	chore(src/emacs): move lean-mode to https://github.com/leanprover/lean-mode	2017-10-06 10:46:43 -07:00
lean-gdb.py	chore(bin/lean-gdb.py): update to compressed headers	2019-09-12 18:22:02 +02:00
leanc.in	fix(bin/leanc.in): use C compiler only when not linking	2019-09-04 17:53:53 +02:00
leanpkg
leanpkg.bat