From 6e464c92d78a9960e6ff56808678aaf8327233c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Tue, 28 Apr 2020 15:37:21 +0200
Subject: [PATCH] week18.txt: found three illegal chars in iris

---
 timeline/week18.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/timeline/week18.txt b/timeline/week18.txt
index a59125a..85c4c73 100644
--- a/timeline/week18.txt
+++ b/timeline/week18.txt
@@ -37,6 +37,10 @@ Week 18 (27.04.-03.05.)
 		   characters; the lowest of the range is 0xa0, which
 		   is below 0x7c (the pipe symbol)
 
+		-> the IRIs in the Isabelle exports have the following
+		   characters which are (according to automated tool
+		   `iriok' [4]) not valid: '|', '\' and ' '
+
 	[ ] run all quries from ulo paper in graphdb
 
 [ ] fix exported IRIs
@@ -56,3 +60,4 @@ References
 [1] https://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/
 [2] https://tools.ietf.org/html/rfc3986
 [3] https://tools.ietf.org/html/rfc3987
+[4] https://gitlab.cs.fau.de/kissen/iriok
-- 
GitLab