From 4a151467e868d29045221a4dec9535dcf3d7e8f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de> Date: Fri, 24 Apr 2020 10:40:48 +0200 Subject: [PATCH] /ulo: add exported RDF data from ULO paper as Git submodules If this destroys your file system I am sorry, but I'd like to experiment w/ keeping everything in one place. --- .gitmodules | 9 +++++++++ ulo/libraries/coq | 1 + ulo/libraries/isabelle-afp | 1 + ulo/libraries/isabelle-distribution | 1 + 4 files changed, 12 insertions(+) create mode 100644 .gitmodules create mode 160000 ulo/libraries/coq create mode 160000 ulo/libraries/isabelle-afp create mode 160000 ulo/libraries/isabelle-distribution diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..e4a932a --- /dev/null +++ b/.gitmodules @@ -0,0 +1,9 @@ +[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 diff --git a/ulo/libraries/coq b/ulo/libraries/coq new file mode 160000 index 0000000..a9d7038 --- /dev/null +++ b/ulo/libraries/coq @@ -0,0 +1 @@ +Subproject commit a9d7038b77f0356311f4b3b6f531458cb66a7e0e diff --git a/ulo/libraries/isabelle-afp b/ulo/libraries/isabelle-afp new file mode 160000 index 0000000..1ce32ec --- /dev/null +++ b/ulo/libraries/isabelle-afp @@ -0,0 +1 @@ +Subproject commit 1ce32ec014747e08d6e9782aed4cdd6631224fd6 diff --git a/ulo/libraries/isabelle-distribution b/ulo/libraries/isabelle-distribution new file mode 160000 index 0000000..beb24f8 --- /dev/null +++ b/ulo/libraries/isabelle-distribution @@ -0,0 +1 @@ +Subproject commit beb24f82b77007110f0568031d3ddaf75980be9e -- GitLab