Skip to content
Snippets Groups Projects
Commit 24affcca authored by Tom Wiesing's avatar Tom Wiesing :speech_balloon:
Browse files

Load MathHub Extension

parent ca87208c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
config/def-build.mbt
+ 1
− 0
View file @ 24affcca
......@@ -17,6 +17,7 @@ controller.handleLine("log+ archive")
controller.handleLine("server on 8080 0.0.0.0")
// load all the extensions
loadExtension("info.kwarc.mmt.mathhub.Server", Nil)
loadExtension("info.kwarc.mmt.odk.Plugin", Nil)
loadExtension("info.kwarc.mmt.api.archives.ErrorManager", List("--clean-unknown-sources"))
loadExtension("info.kwarc.mmt.api.ontology.AlignmentsServer",List(root + "alignments/Public/"))
......
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