-
- Downloads
refactor OppositeLen meta annotations in accordance with server
Showing
- content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len_$Problem.omdoc.xz 0 additions, 0 deletions...b.info/FrameIT/frameworld/$Opposite$Len_$Problem.omdoc.xz
- content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len_$Solution.omdoc.xz 0 additions, 0 deletions....info/FrameIT/frameworld/$Opposite$Len_$Solution.omdoc.xz
- content/http..mathhub.info/FrameIT/frameworld/$Scroll$Meta.omdoc.xz 0 additions, 0 deletions...tp..mathhub.info/FrameIT/frameworld/$Scroll$Meta.omdoc.xz
- errors/mmt-omdoc/Library/gearbox.mmt.err 12 additions, 12 deletionserrors/mmt-omdoc/Library/gearbox.mmt.err
- errors/mmt-omdoc/Scrolls/AngleSum.mmt.err 2 additions, 2 deletionserrors/mmt-omdoc/Scrolls/AngleSum.mmt.err
- errors/mmt-omdoc/Scrolls/Pythagoras.mmt.err 5 additions, 5 deletionserrors/mmt-omdoc/Scrolls/Pythagoras.mmt.err
- errors/mmt-omdoc/Scrolls/SupplementaryAngles.mmt.err 2 additions, 2 deletionserrors/mmt-omdoc/Scrolls/SupplementaryAngles.mmt.err
- narration/Scrolls/OppositeLen.omdoc 1 addition, 1 deletionnarration/Scrolls/OppositeLen.omdoc
- narration/Scrolls/ScrollMeta.omdoc 1 addition, 1 deletionnarration/Scrolls/ScrollMeta.omdoc
- relational/http..mathhub.info/FrameIT/frameworld/$Scroll$Meta.rel 12 additions, 12 deletions...al/http..mathhub.info/FrameIT/frameworld/$Scroll$Meta.rel
- source/Scrolls/OppositeLen.mmt 5 additions, 6 deletionssource/Scrolls/OppositeLen.mmt
- source/Scrolls/ScrollMeta.mmt 9 additions, 7 deletionssource/Scrolls/ScrollMeta.mmt
Loading
Please register or sign in to comment