Commit 067a35ad authored by Michael Kohlhase's avatar Michael Kohlhase

simplifying_import/usemhmodule_via_dir

parent 79071209
\begin{module}[id=aic]
\importmhmodule[path=admin/en/academic-integrity]{academic-integrity}
\importmhmodule[dir=admin/en]{academic-integrity}
\begin{frame}
\frametitle{The Academic Integrity Committee (AIC)}
\begin{itemize}
......
\begin{module}[id=ap]
\importmhmodule[mhrepos=MiKoMH/GenCS,path=course/en/grading]{grading}
\importmhmodule[mhrepos=MiKoMH/GenCS,dir=course/en]{grading}
\begin{frame}
\frametitle{Advanced Placement}
\begin{itemize}
......@@ -25,7 +25,7 @@
\end{omtext}
\item
\begin{module}[id=ap-proglang-warning]
\importmhmodule[path=missing/en/proglang]{proglang}
\importmhmodule[dir=missing/en]{proglang}
\begin{omtext}[title=Warning]
you should be very sure of yourself to try \lec{genius in $\CppLanguage$ insufficient}
\oxend{omtext}
......
\begin{module}[id=cheating]
\importmhmodule[path=admin/en/academic-integrity]{academic-integrity}
\importmhmodule[dir=admin/en]{academic-integrity}
\begin{note}
\begin{omtext}
One special case of academic rules that affects students is the question of
......
\begin{module}[id=homework]
\importmhmodule[mhrepos=MiKoMH/talks,path=planetary/en/pantarhei]{pantarhei}
\importmhmodule[path=admin/en/grader]{grader}
\importmhmodule[mhrepos=MiKoMH/talks,dir=planetary/en]{pantarhei}
\importmhmodule[dir=admin/en]{grader}
\begin{frame}
\frametitle{Homework assignments}
\begin{itemize}
......
\begin{module}[id=tools]
\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}
\importmhmodule[mhrepos=MiKoMH/TDM,dir=digdocs/en]{editors}
\importmhmodule[mhrepos=MiKoMH/GenCS,dir=www/en]{webbrowser}
\importmhmodule[dir=missing/en]{operatingsystems}
\importmhmodule[dir=missing/en]{typingaids}
\begin{frame}
\frametitle{Software/Hardware tools}
\begin{itemize}
......
......@@ -10,7 +10,7 @@
\end{definition}
\begin{example}[for=borndied.def]
\usemhmodule[path=missing/en/gregorian]{gregorian}
\usemhmodule[dir=missing/en]{gregorian}
Johann Carl Friedrich Gau{\ss} $\born{\gregorianADdate{30}{4}{1777}}$,
$\died{\gregorianADdate{23}{2}{1855}}$
\end{example}
......
......@@ -13,7 +13,7 @@
\end{definition}
\item
\begin{example}[for=text-editor.def]
\usemhmodule[path=missing/en/operatingsystems]{operatingsystems} popular
\usemhmodule[dir=missing/en]{operatingsystems} popular
\trefiis{text}{editor} include
\begin{itemize}
\item $\notepadEditor$ is a simple \mtrefi[?text-editor]{editor} distributed with
......
\begin{module}[id=historic-periods]
\importmhmodule[path=missing/en/gregorian]{gregorian}
\importmhmodule[dir=missing/en]{gregorian}
\begin{definition}
The \defi{periodization} of history gives names to notable periods in human history,
here are some:
......
\begin{module}[id=realworldsorts]
\importmhmodule[mhrepos=MiKoMH/GenCS,path=logic/en/sorts-base]{sorts-base}
\importmhmodule[mhrepos=MiKoMH/GenCS,dir=logic/en]{sorts-base}
\abbrdef{explicitsort}[1]{\operatorname{\texttt{#1}}}
\symdef{sortentity}{\sorte\explicitsort{ntity}}
\symdef{sortabstract}{\sorta\explicitsort{bstract}}
......
\begin{module}[id=simple-imperative-language]
\importmhmodule[path=missing/en/pseudocode]{pseudocode}
\importmhmodule[dir=missing/en]{pseudocode}
\symdef{SILassign}[2]{\infix[p=500]{\leftarrow\kern-0.1em\mapstochar}{#1}{#2}}
\symdef{SILwhile}[2]{\mixfixii[p=800,pi=0,pii=0]{\mathbf{while}\;}{#1}{\mathbf{\;do\;}}{#2}{\;\mathbf{end}}}
\symdef{SILrepeat}[2]{\mixfixii[p=800,pi=0,pii=0]{\mathbf{repeat}\;}{#1}{\mathbf{\;until\;}}{#2}{\;\mathbf{end}}}
......
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