3 commits

Author	SHA1	Message	Date
Sebastian Ullrich	77cbaa752c	fix: Task: make reference and -j0 semantics eager, simplify	2020-09-14 17:57:33 +02:00
Leonardo de Moura	7c76a19885	chore: fix includes	2020-05-22 14:17:25 -07:00
Leonardo de Moura	350cf4d262	chore: copy runtime files to include/lean	2020-05-22 14:04:24 -07:00