Commit 79071209 authored by Michael Kohlhase's avatar Michael Kohlhase

regularized_repos=_options_to_mhrepos=

parent 52e70efe
\begin{module}[id=ap]
\importmhmodule[repos=MiKoMH/GenCS,path=course/en/grading]{grading}
\importmhmodule[mhrepos=MiKoMH/GenCS,path=course/en/grading]{grading}
\begin{frame}
\frametitle{Advanced Placement}
\begin{itemize}
......
\begin{module}[id=eLearning-KWARC]
\importmhmodule[repos=MiKoMH/talks,path=mathhub/en/nutshell]{mathhub-nutshell}
\importmhmodule[repos=MiKoMH/talks,path=omdoc/en/nutshell]{omdoc-nutshell}
\importmhmodule[mhrepos=MiKoMH/talks,path=mathhub/en/nutshell]{mathhub-nutshell}
\importmhmodule[mhrepos=MiKoMH/talks,path=omdoc/en/nutshell]{omdoc-nutshell}
\begin{nomtext}
Next we come to a special project that is going on in parallel to teaching the course. I
......
\begin{module}[id=homework]
\importmhmodule[repos=MiKoMH/talks,path=planetary/en/pantarhei]{pantarhei}
\importmhmodule[mhrepos=MiKoMH/talks,path=planetary/en/pantarhei]{pantarhei}
\importmhmodule[path=admin/en/grader]{grader}
\begin{frame}
\frametitle{Homework assignments}
......
\begin{module}[id=tools]
\importmhmodule[repos=MiKoMH/TDM,path=digdocs/en/editors]{editors}
\importmhmodule[repos=MiKoMH/GenCS,path=www/en/webbrowser]{webbrowser}
\importmhmodule[mhrepos=MiKoMH/TDM,path=digdocs/en/editors]{editors}
\importmhmodule[mhrepos=MiKoMH/GenCS,path=www/en/webbrowser]{webbrowser}
\importmhmodule[path=missing/en/operatingsystems]{operatingsystems}
\importmhmodule[path=missing/en/typingaids]{typingaids}
\begin{frame}
......
\begin{omtext}[title=Licensing]
\usemhmodule[repos=MiKoMH/GenCS,path=legal/en/open-content]{creativecommons} This document is
\usemhmodule[mhrepos=MiKoMH/GenCS,path=legal/en/open-content]{creativecommons} This document is
licensed under a \mtrefi[creativecommons?cclicenses]{Creative Commons license} that
\mtrefi[creativecommons?attribution]{requires attribution},
\mtrefi[creativecommons?commercial-use]{forbids commercial use}, and
......
\begin{omtext}[title=Licensing]
\usemhmodule[repos=MiKoMH/GenCS,path=legal/en/open-content]{creativecommons} This document is
\usemhmodule[mhrepos=MiKoMH/GenCS,path=legal/en/open-content]{creativecommons} This document is
licensed under a {\mtrefi[creativecommons?cclicenses]{Creative Commons license}} that
\mtrefi[creativecommons?attribution]{requires attribution},
\mtrefi[creativecommons?commercial-use]{allows commercial use}, and
......
\begin{module}[id=realworldsorts]
\importmhmodule[repos=MiKoMH/GenCS,path=logic/en/sorts-base]{sorts-base}
\importmhmodule[mhrepos=MiKoMH/GenCS,path=logic/en/sorts-base]{sorts-base}
\abbrdef{explicitsort}[1]{\operatorname{\texttt{#1}}}
\symdef{sortentity}{\sorte\explicitsort{ntity}}
\symdef{sortabstract}{\sorta\explicitsort{bstract}}
......
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