update isabelle-prepare to fix all characters

timeline/week18.txt

@@ -39,7 +39,7 @@ Week 18 (27.04.-03.05.)
 
 		-> the IRIs in the Isabelle exports have the following
 		   characters which are (according to automated tool
-		   `iriok' [4]) not valid: '|', '\' and ' '
+		   `iriok' [4]) not valid: '|', '\', ' ', '^'
 
 		-> importing the files w/ fixed IRIs I get new errors
                    from graphDB (sigh)

ulo/isabelle-prepare.sh

@@ -26,5 +26,8 @@ for file in $files; do
     # uncompress, fix iris, compress again
     unxz "$file"
     sed -i 's/|/%7C/g' "$rdf_file"
+    sed -i 's/\\/%5C/g' "$rdf_file"
+    sed -i 's/ /%20/g' "$rdf_file"
+    sed -i 's/\^/%5E/g' "$rdf_file"
     gzip "$rdf_file"
 done