From ba509a35c1aa6dd1161b62e5e826fbe7c4821334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= Date: Thu, 28 May 2020 10:38:35 +0200 Subject: [PATCH] isabelle: fix ULO namepsace --- src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala b/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala index e346e7ce6f..42ed5b9a6c 100644 --- a/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala +++ b/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala @@ -26,7 +26,7 @@ object Ontology /* namespace */ - val ulo: isabelle.XML.Namespace = isabelle.XML.Namespace("ulo", "https://mathhub.info/ulo") + val ulo: isabelle.XML.Namespace = isabelle.XML.Namespace("ulo", "https://mathhub.info/ulo#") def rdf_document(triples: List[isabelle.RDF.Triple]): isabelle.XML.Elem = isabelle.RDF.document(isabelle.RDF.triples(triples),