-
Andreas Schärtl authored
- Better put all Go code into one repo. - I've now wasted an hour on stupid file shuffling.
Andreas Schärtl authored- Better put all Go code into one repo. - I've now wasted an hour on stupid file shuffling.
.gitmodules 566 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/ulocollect
url = git@gitlab.cs.fau.de:kissen/ulocollect.git