lean2/bin/.gitignore

lean
lean.exe
leanemacs
leanemacs.bat
linja
python_lib/six.pyc
python_lib/__init__.pyc
feat(bin/lmake): add lmake lmake tries to find a makefile in the current working-directory or its ancestors and invoke the makefile if found. If a makefile is not found, it calls lean directly. This is also used for flycheck-lean. Usage: $ lmake $ lmake all $ lmake clean $ lmake basic $ lmake basic.lean $ lmake /home/user/projects/lean/library/.../basic.lean $ lmake --flyinfo --flycheck basic 2014-08-04 22:11:37 +00:00			`lean`
			`lean.exe`
feat(bin): add linja.in and LEAN_BIN_DEP cmake option see the discussion in issue #422 2015-02-04 20:58:29 +00:00			`leanemacs`
			`leanemacs.bat`
			`linja`
refactor(bin/python_lib): move six.py under bin/python_lib Following @favonia's suggestion in #393 2015-01-21 22:31:26 +00:00			`python_lib/six.pyc`
			`python_lib/__init__.pyc`