[submodule "isl"]
	path = isl
	url = http://repo.or.cz/isl.git