Skip to content
Snippets Groups Projects
Normal view Permalink
build.msl 245 B
Newer Older
  • Learn to ignore specific revisions
    • ComFreek's avatar
    add build.msl
    ComFreek committed
    1 
    build FrameIT/frameworld mmt-omdoc MetaTheories.mmt
    ComFreek's avatar
    refactor StepUntil into dynamics.mmt  
    ComFreek committed
    2 3 
    build FrameIT/frameworld scala-bin
build FrameIT/frameworld mmt-omdoc dynamics.mmt
    ComFreek's avatar
    add build.msl
    ComFreek committed
    4 5 
    build FrameIT/frameworld mmt-omdoc Scrolls/
build FrameIT/frameworld mmt-omdoc DefaultSituationSpace.mmt