Sebastian Ullrich 46be48211e test: dot completion		2021-04-05 14:00:22 +02:00
..
completion.lean	test: dot completion	2021-04-05 14:00:22 +02:00
completion.lean.expected.out	test: dot completion	2021-04-05 14:00:22 +02:00
plainGoal.lean
plainGoal.lean.expected.out
run.lean	test: dot completion	2021-04-05 14:00:22 +02:00
test_single.sh