// This file contains common configuration options for all build scripts.
log console log+ archive log+ mmt-omdoc
log+ scala-bin
mathpath archive ../urtheories mathpath archive . //log+ debug //log+ object-checker //log+ object-simplifier //log+ structure-simplifier //log+ structure-checker //log+ object-parser
