gitdir: /home/lars/proj/libisabelle/.git/modules/libisabelle/src/main/isabelle/lib/classy/modules/lib/multi-isabelle
