Sebastian Ullrich 3ee59aa17f feat(library/compiler/ir_interpreter): add Windows support		2019-09-12 18:26:15 +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	feat(library/compiler/ir_interpreter): add Windows support	2019-09-12 18:26:15 +02:00
leanpkg	chore(bin/leanpkg): return nicer error message if greadlink is not available on OSX	2017-08-21 20:20:13 +02:00
leanpkg.bat	dist: add leanpkg.bat script for invocation on Windows	2017-07-20 21:50:23 +01:00