-
Andreas Schärtl authored
If this destroys your file system I am sorry, but I'd like to experiment w/ keeping everything in one place.
Andreas Schärtl authoredIf this destroys your file system I am sorry, but I'd like to experiment w/ keeping everything in one place.
.gitmodules 331 B
[submodule "ulo/coq.8.9.0"]
path = ulo/libraries/coq
url = git@gl.mathhub.info:Coqxml/coq.8.9.0.git
[submodule "ulo/Distribution"]
path = ulo/libraries/isabelle-distribution
url = git@gl.mathhub.info:Isabelle/Distribution.git
[submodule "ulo/AFP"]
path = ulo/libraries/isabelle-afp
url = git@gl.mathhub.info:Isabelle/AFP.git