build FrameIT/frameworld mmt-omdoc MetaTheories.mmt
build FrameIT/frameworld scala-bin
build FrameIT/frameworld mmt-omdoc dynamics.mmt
build FrameIT/frameworld mmt-omdoc Scrolls/
build FrameIT/frameworld mmt-omdoc DefaultSituationSpace.mmt