1 [submodule "lib/multi-isabelle"]
2 path = lib/multi-isabelle
3 url = https://github.com/larsrh/multi-isabelle.git