Skip to content
Snippets Groups Projects
Normal view Permalink
gearbox.mmt.err 74.8 KiB
Newer Older
  • Learn to ignore specific revisions
    • ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    1 
    <errors>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    2 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?temp?dist?definition: Judgment  |- [p1,p2] : (ℝ×ℝ)⟶(ℝ×ℝ)⟶ℝ" level="2">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    3 
      <stacktrace>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    4 5 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    6 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    7 8 9 10 11 12 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    13 14 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    15 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    16 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    17 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    18 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    19 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    20 21 22 23 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    24 25 26 27 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    28 29 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    30 31 32 33 34 35 36 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    37 38 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    39 40 41 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    63 64 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    65 66 
    <error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="2">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    67 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    68 69 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    70 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    71 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    72 73 74 75 76 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    77 78 79 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    80 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    81 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    82 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    83 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    84 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    85 86 87 88 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    89 90 91 92 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    93 94 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    95 96 97 98 99 100 101 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    102 103 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    104 105 106 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    128 129 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    130 131 132 
    
<error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    133 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    134 135 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    136 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    137 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    138 139 140 141 142 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    143 144 145 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    146 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    147 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    148 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    149 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    150 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    151 152 153 154 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    155 156 157 158 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    159 160 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    161 162 163 164 165 166 167 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    168 169 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    170 171 172 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    194 195 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    196 197 198 
    
<error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    199 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    200 201 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    202 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    203 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    204 205 206 207 208 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    209 210 211 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    212 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    213 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    214 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    215 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    216 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    217 218 219 220 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    221 222 223 224 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    225 226 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    227 228 229 230 231 232 233 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    234 235 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    236 237 238 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    260 261 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    262 263 264 
    
<error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition: Judgment  |- [RC,C,p]-((RC.angular_velocity)/(RC.radius))⋅C.radius : {RC:rotating_cogwheel,C:cogwheel}⊦interlocking RC C⟶ℝ" level="2">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    265 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    266 267 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    268 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    269 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    270 271 272 273 274 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    275 276 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    277 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    278 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    279 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    280 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    281 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    282 283 284 285 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    286 287 288 289 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    290 291 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    292 293 294 295 296 297 298 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    299 300 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    301 302 303 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    325 326 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    327 328 329 
    
<error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition: Judgment  |- [RC,C,p]-((RC.angular_velocity)/(RC.radius))⋅C.radius : {RC:rotating_cogwheel,C:cogwheel}⊦interlocking RC C⟶ℝ" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    330 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    331 332 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    333 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    334 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    335 336 337 338 339 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    340 341 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    342 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    343 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    344 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    345 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    346 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    347 348 349 350 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    351 352 353 354 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    355 356 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    357 358 359 360 361 362 363 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    364 365 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    366 367 368 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    390 391 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    392 393 394 
    
<error 
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c1?definition: Judgment  |- ['center=⟨0,0⟩,radius=1,numteeth=10,angle=0,angular_velocity=1'] : rotating_cogwheel" level="2">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    395 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    396 397 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    398 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    399 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    400 401 402 403 404 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    405 406 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    407 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    408 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    409 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    410 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    411 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    455 456 457 458 459 460 461 
      </stacktrace>
</error>

<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
  <stacktrace>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    462 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    463 464 465 466 467 468 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    469 470 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    471 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    472 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    519 520 521 522 523 524 
      </stacktrace>
</error>
<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
  <stacktrace>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    525 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    526 527 528 529 530 531 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    532 533 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    534 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    535 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    582 583 
      </stacktrace>
</error>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    584 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    585 
      <stacktrace>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    586 587 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    588 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    589 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    590 591 592 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    593 594 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    595 596 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    597 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    598 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    599 600 601 602 603 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    604 605 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    606 607 608 609 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    610 611 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    612 613 614 615 616 617 618 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    619 620 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    621 622 623 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    645 646 647 648 649 650 
      </stacktrace>
</error>
<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
  <stacktrace>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    651 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    652 653 654 655 656 657 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    658 659 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    660 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    661 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    708 709 710 711 712 713 
      </stacktrace>
</error>
<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
  <stacktrace>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    714 
        <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    715 716 717 718 719 720 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    721 722 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    723 
        <element>scala.Option.foreach(Option.scala:407)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    724 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild all  
    ComFreek committed
    725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    <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.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    771 772 773 
      </stacktrace>
</error>
</errors>