Skip to content
Snippets Groups Projects
Commit 1be1f9b9 authored by ComFreek's avatar ComFreek
Browse files

fix wrong meta label keys

parent 944451f6
No related branches found
No related tags found
No related merge requests found
No preview for this file type
......@@ -67,7 +67,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
<element>info.kwarc.mmt.frameit.communication.server.ServerEndpoints$.$anonfun$listScrolls$1(ServerEndpoints.scala:133)</element>
<element>info.kwarc.mmt.frameit.communication.server.ServerEndpoints$.$anonfun$listScrolls$1(ServerEndpoints.scala:134)</element>
<element>io.finch.internal.HighPriorityMapperConversions.$anonfun$mapperFromOutputValue$2(Mapper.scala:82)</element>
<element>io.finch.Endpoint.$anonfun$mapOutput$2(Endpoint.scala:102)</element>
<element>cats.ApplicativeError.catchNonFatal(ApplicativeError.scala:203)</element>
......
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:1119.44.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="import frameworld http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#194.6.0:221.6.27"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:1233.42.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#134.4.0:161.4.27"/></metadata></mref></omdoc>
\ No newline at end of file
......@@ -10,36 +10,36 @@ theory SampleSituationTheory =
A
: point ❘
= ⟨0.0, 0.0, 0.0⟩ ❘
meta frameworld?MetaAnnotations?label "Point A"
meta frameworld:?MetaAnnotations?label "Point A"
B
: point ❘
= ⟨3.0, 3.0, 0.0⟩ ❘
meta frameworld?MetaAnnotations?label "Point B"
meta frameworld:?MetaAnnotations?label "Point B"
C
: point ❘
= ⟨0.0, 3.0, 0.0⟩ ❘
meta frameworld?MetaAnnotations?label "Point C"
meta frameworld:?MetaAnnotations?label "Point C"
distanceBC
: Σ x:ℝ. ⊦ (d- B C ≐ x) ❘
= ⟨3.0, sketch "calculated by ComFreek by hand"⟩ ❘
meta frameworld?MetaAnnotations?label "distanceBC"
meta frameworld:?MetaAnnotations?label "distanceBC"
angleABC
: Σ β:ℝ. ⊦ ( ∠ A,B,C ) ≐ β ❘
= ⟨45.0, sketch "calculated by ComFreek by hand"⟩ ❘
meta frameworld?MetaAnnotations?label "distanceBC"
meta frameworld:?MetaAnnotations?label "distanceBC"
angleBAC
: Σ β:ℝ. ⊦ ( ∠ A,B,C ) ≐ β ❘
= ⟨45.0, sketch "calculated by ComFreek by hand"⟩ ❘
meta frameworld?MetaAnnotations?label "distanceBC"
meta frameworld:?MetaAnnotations?label "distanceBC"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment