-
Andreas Schärtl authoredAndreas Schärtl authored
.gitmodules 584 B
[submodule "ulo/coq.8.9.0"]
path = experimental/ulo/libraries/coq
url = git@gl.mathhub.info:Coqxml/coq.8.9.0.git
[submodule "ulo/Distribution"]
path = experimental/ulo/libraries/isabelle-distribution
url = git@gl.mathhub.info:Isabelle/Distribution.git
[submodule "ulo/AFP"]
path = experimental/ulo/libraries/isabelle-afp
url = git@gl.mathhub.info:Isabelle/AFP.git
[submodule "ulo/ulo"]
path = experimental/ulo/ulo-owl
url = git@gl.mathhub.info:ulo/ulo.git
[submodule "src/ulocollect"]
path = src/ulo-storage-collect
url = git@gitlab.cs.fau.de:kissen/ulo-storage-collect.git