From 70d1fb88367f0a918d3e136f8d02d636f411c260 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 4 May 2020 17:01:54 +0200
Subject: [PATCH] add ulo-owl submodule

---
 .gitmodules | 3 +++
 ulo/ulo-owl | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 ulo/ulo-owl

diff --git a/.gitmodules b/.gitmodules
index e4a932a..6ce6a31 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7,3 +7,6 @@
 [submodule "ulo/AFP"]
 	path = ulo/libraries/isabelle-afp
 	url = git@gl.mathhub.info:Isabelle/AFP.git
+[submodule "ulo/ulo"]
+	path = ulo/ulo-owl
+	url = git@gl.mathhub.info:ulo/ulo.git
diff --git a/ulo/ulo-owl b/ulo/ulo-owl
new file mode 160000
index 0000000..47f9a86
--- /dev/null
+++ b/ulo/ulo-owl
@@ -0,0 +1 @@
+Subproject commit 47f9a8696b8579cfc46532d326da15aef1fb6134
-- 
GitLab