Commit 358543e8 authored by Florian Rabe's avatar Florian Rabe

no message

parent 29c24651
......@@ -95,7 +95,7 @@ define temp2
server on 8080
log+ server
log+ debug
log+ object-checker
//log+ object-checker
//log+ object-simplifier
//log+ structure-simplifier
//log+ structure-checker
......@@ -103,9 +103,11 @@ 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 ../../MitM
build MitM/Foundation mmt-omdoc
build MMT/examples mmt-omdoc
//mathpath archive ../LFX
//mathpath archive ../../MitM
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