gitdir: ../../../../../../.git/modules/libisabelle/src/main/isabelle/lib/classy
