From dfaf664c69d0ec7d98b6e47c0706887e51037e40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Mon, 27 Apr 2020 11:16:26 +0200
Subject: [PATCH] [x] import coq data into graphdb

---
 timeline/week18.txt | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/timeline/week18.txt b/timeline/week18.txt
index 9339b7a..3609398 100644
--- a/timeline/week18.txt
+++ b/timeline/week18.txt
@@ -5,7 +5,16 @@ Week 17 (20.04.-26.04.)
 
 	[x] run all queries from ulo paper in virtuoso
 
-	[ ] import all data into graphdb
+	[~] import all data into graphdb
+
+		[x]  import coq data into graphdb
+
+		     -> had to use a little scritping to remove some
+		        invalid(?!) parts from the rdf files
+
+		     -> used script /ulo/coq-cut.sh
+
+		[ ] import isabelle data into graphdb
 
 	[ ] run all quries from ulo paper in graphdb
 
-- 
GitLab