Commit b263c07b authored by Florian Rabe's avatar Florian Rabe

no message

parent 9cf8728f
......@@ -12,6 +12,8 @@ extension info.kwarc.mmt.api.archives.MWSHarvestExporter
//extension info.kwarc.mmt.api.ontology.RelationalReader
extension info.kwarc.mmt.api.ontology.AlignmentsServer
extension info.kwarc.mmt.lf.Plugin
mathpath archive ../urtheories
mathpath archive .
......@@ -92,21 +94,24 @@ 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
//log+ object-parser
//extension info.kwarc.mmt.lf.structuralfeatures.InductiveTypes
//log+ InductiveTypes
mathpath archive ../LFX
mathpath archive ../../Test
mathpath archive ../../MitM
//log+ backend
extension info.kwarc.mmt.lf.structuralfeatures.InductiveTypes
log+ InductiveTypes
mathpath archive ../../Test/General
build MMT/examples mmt-omdoc inductive.mmt
build MitM/Foundation mmt-omdoc
//mathpath archive ../LFX
//mathpath archive ../../MitM
//mathpath archive ../../Isabelle
//gui on
end
define MMTTest
......
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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