some uncommitted files

...http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz

...mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz

...athhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz

.../http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz

...p..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz

...ub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz

...eIT/frameworld/$Triangle$Scroll_$General$Problem.omdoc.xz

...rameworld/$Triangle$Scroll_$Right$Angled$Problem.omdoc.xz

...orld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz

...integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz

...d/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz

...rld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz

...o/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz

...ld/integrationtests/$Pushed$Out$Situation$Theory.omdoc.xz

...meworld/integrationtests/$Sample$Situation$Space.omdoc.xz

...eIT/frameworld/integrationtests/$Situation$Space.omdoc.xz

...fo/FrameIT/frameworld/integrationtests/$Solution.omdoc.xz

...rameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz

content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz

content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz