Commit 57106061 authored by Michael Kohlhase's avatar Michael Kohlhase

tweak

parent 05bacb5f
\begin{module}[id=eLearning-KWARC]
\importmhmodule[repos=MiKoMH/talks,path=planetary/en/pantarhei]{pantarhei}
\importmhmodule[repos=MiKoMH/talks,path=mathhub/en/nutshell]{mathhub-nutshell}
\importmhmodule[repos=MiKoMH/talks,path=omdoc/en/nutshell]{omdoc-nutshell}
\begin{note}
......@@ -28,7 +28,7 @@
\begin{omtext}[title=Experiment] Start with this course \lec{Drink my own medicine}
\begin{itemize}
\item Re-Represent the slide materials in $\omdoc$ (Open Math Documents)
\item Feed it into the $\pantarhei$ system \lec{\url{http://panta.kwarc.info}}
\item (Eventually) feed it into the $\MathHubSys$ system \lec{\url{http://mathhub.info}}
\item Try it on you all \lec{to get feedback from you}
\end{itemize}
\end{omtext}
......
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