ulo · 8fed2de66e767f72ae133866d69fc3f0cd7ad9f5 · supervision / schaertl_andreas

Andreas Schärtl authored 5 years ago

We'll have to get an iri lib or better yet fix the export in the long
run.

8fed2de6

Name	Last commit	Last update
..
libraries
build_virtuoso.sh
coq-cut.sh
extract-iris.sh
fix-rdf-file.py
import-recursive-xz-rdf-to-virtuoso.sh
isabelle-prepare.sh
reset-libraries.sh
xz-to-gz.sh