Commit 3ced18a0 authored by Florian Rabe's avatar Florian Rabe

no message

parent 8ea6b460
......@@ -94,7 +94,7 @@ end
define temp2
server on 8080
log+ server
log+ debug
//log+ debug
//log+ object-checker
//log+ object-simplifier
//log+ structure-simplifier
......@@ -103,22 +103,20 @@ define temp2
//extension info.kwarc.mmt.lf.structuralfeatures.InductiveTypes
//log+ InductiveTypes
mathpath archive ../LFX
extension info.kwarc.mmt.odk.Plugin
mathpath archive ../../Test
//mathpath archive ../LATIN
mathpath archive ../../MitM
build MMT/examples mmt-omdoc
//mathpath archive ../../Almanac
//extension info.kwarc.mmt.odk.Plugin
//mathpath archive ../LFX
//mathpath archive ../../MitM
//mathpath archive ../../Isabelle
//gui on
//extension info.kwarc.mmt.python.AsNotebookPresenter
build MMT/examples mmt-omdoc
end
define MMTTest
server on 8081
log+ server
log+ debug
//log+ debug
//log+ structure-parser
//log+ structure-checker
//log+ structure-simplifier
......
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment