Commit d3dd8475 authored by Theresa Pollinger's avatar Theresa Pollinger
Browse files

Update README.md

parent f288e4c4
......@@ -21,4 +21,10 @@ jupyter notebook --kernel=interview_kernel
You need to have a built version of http://mathhub.info/MitM/smglom/calculus (on branch cleanup)
and http://mathhub.info/MitM/smglom/calculus/differentialequations, which
can be found in mathhub archives MitM/smglom and MitM/MoSIS, respectively.
\ No newline at end of file
can be found in mathhub archives MitM/smglom and MitM/MoSIS, respectively.
To start the server in the MMT Shell::
server on port 9000
extension info.kwarc.mmt.interviews.InterviewServer
extension info.kwarc.mmt.api.ontology.RelationalReader
\ No newline at end of file
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