Leonardo de Moura cf28981f45 feat(tests/lean/run): add test_single script that sets the LEAN_PATH ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-06-29 07:47:46 -07:00
..
lean	feat(tests/lean/run): add test_single script that sets the LEAN_PATH	2014-06-29 07:47:46 -07:00
lua	test(tests/lua): add simple tactic framework test	2014-06-27 18:51:55 -07:00