fix for answerclasses in stex

UniFormal · Feb 9, 2024 · a33196c · a33196c
1 parent 92b447e
commit a33196c
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/ontology/ULO.scala
@@ -279,7 +279,7 @@ object ULO {
 
   val specifies = new ObjectProperty("specifies",Some(Declares))
     .domain(physical)
-    .domain(logical)
+    .range(logical)
     .comment("The physical organizational item S specifies a knowledge item O, i.e. S is represented in O.")
   val specified_in = new ObjectProperty("specified_in")
     .inverseOf(specifies)

diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
@@ -979,6 +979,13 @@ trait SHTMLDocumentServer { this : STeXServer =>
           case Some(pts) => plain.attributes((this.namespace,"data-problem-answerclass-pts")) = pts
           case _ =>
         }
+      }
+    }
+    case class AnswerClassFeedback(orig:HTMLNode) extends SHTMLNode(orig) {
+      def copy = AnswerClassFeedback(orig.copy)
+
+      override def onAdd = {
+        super.onAdd
         plain.attributes.get((HTMLParser.ns_shtml,"answerclass-feedback")) match {
           case Some(fdb) => plain.attributes((this.namespace,"data-problem-answerclass-feedback")) = fdb
           case _ =>
@@ -1050,6 +1057,7 @@ trait SHTMLDocumentServer { this : STeXServer =>
     simple("problemnote", n => ProblemNote(n))
     simple("problemgnote", n => ProblemGNote(n))
     simple("answerclass", n => AnswerClass(n))
+    simple("answerclass-feedback", n => AnswerClassFeedback(n))
     simple("problempoints", n => ProblemPoints(n))
     simple("problemminutes", n => ProblemMinutes(n))
     simple("slideshow", n => Slideshow(n))