Commit e943ed54 authored by Florian Rabe's avatar Florian Rabe

no message

parent 28b9710e
......@@ -94,9 +94,8 @@ end
define temp2
server on 8080
log+ server
//log+ debug
log+ debug
log+ object-checker
log+ subtype-rule-gen
//log+ object-simplifier
//log+ structure-simplifier
//log+ structure-checker
......@@ -106,7 +105,7 @@ define temp2
mathpath archive ../LFX
mathpath archive ../../Test
mathpath archive ../../MitM
build MitM/Foundation mmt-omdoc
build MitM/Foundation mmt-omdoc
//mathpath archive ../LFX
//mathpath archive ../../MitM
......
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