Skip to content
Snippets Groups Projects
Commit 70d1fb88 authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

add ulo-owl submodule

parent 8c3f3683
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
.gitmodules
+ 3
− 0
View file @ 70d1fb88
...@@ -7,3 +7,6 @@ ...@@ -7,3 +7,6 @@
[submodule "ulo/AFP"] [submodule "ulo/AFP"]
path = ulo/libraries/isabelle-afp path = ulo/libraries/isabelle-afp
url = git@gl.mathhub.info:Isabelle/AFP.git url = git@gl.mathhub.info:Isabelle/AFP.git
[submodule "ulo/ulo"]
path = ulo/ulo-owl
url = git@gl.mathhub.info:ulo/ulo.git
ulo-owl @ 47f9a869
Subproject commit 47f9a8696b8579cfc46532d326da15aef1fb6134
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment