From 8e845b420797a7f3628e46ea084603c3f556f9ef Mon Sep 17 00:00:00 2001 From: Jakob Albert Date: Wed, 21 Jul 2021 22:00:18 +0200 Subject: [PATCH] Sage: Add Docstring to OMDoc-Export --- src/mmt-odk/src/info/kwarc/mmt/odk/Sage/SageTranslator.scala | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mmt-odk/src/info/kwarc/mmt/odk/Sage/SageTranslator.scala b/src/mmt-odk/src/info/kwarc/mmt/odk/Sage/SageTranslator.scala index 2f819dba5b..866809fc9d 100644 --- a/src/mmt-odk/src/info/kwarc/mmt/odk/Sage/SageTranslator.scala +++ b/src/mmt-odk/src/info/kwarc/mmt/odk/Sage/SageTranslator.scala @@ -85,6 +85,7 @@ class SageTranslator(controller: Controller, bt: BuildTask, index: Document => U val parent = theories.getOrElseUpdate(f.steps.init.mkString("."),{ val pt = Theory.empty(f.theory.parent,f.theory.name,Some(Sage.theory)) controller add pt + addOpaque(f.doc, pt) val pdoc = getDoc(f.document) controller add MRef(pdoc.path,pt.path) pt @@ -103,6 +104,7 @@ class SageTranslator(controller: Controller, bt: BuildTask, index: Document => U theories.getOrElse(clss.n, { implicit val th = Theory.empty(clss.theory.parent, clss.theory.name, Some(Sage.theory)) controller add th + addOpaque(clss.doc, th) val doc = getDoc(clss.document) controller.add(MRef(doc.path, th.path)) @@ -139,6 +141,7 @@ class SageTranslator(controller: Controller, bt: BuildTask, index: Document => U // val doc = getDoc(cat.path.parent) implicit val th = Theory.empty(cat.theory.parent, cat.theory.name, Some(Sage.theory)) controller.add(th) + addOpaque(cat.doc, th) val doc = getDoc(cat.document) controller.add(MRef(doc.path,th.path))