Commit f8a87f43 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

made obsolete by smglom

parent 2ec419fd
\documentclass[notes,mh]{mikoslides}
\libinput{preamble}
\begin{document}
\begin{module}[id=missing-syms] % we have not introduced these
\symdef[assocarg=1]{disjointunion}[1]{\assoc[p=500]\uplus{#1}}
\end{module}
\end{document}
\documentclass[notes,mh]{mikoslides}
\libinput{preamble}
\begin{document}
\begin{module}[id=numbersets]
\gimport[smglom/arithmetics]{complexnumbers}
\end{module}
\end{document}
\documentclass[notes,mh]{mikoslides}
\libinput{preamble}
\begin{document}
\begin{module}[id=proglang] % general Programming languages, presupposed
\symdef{CLanguage}{\operatorname{\texttt{C}}}
\symdef{CppLanguage}{\operatorname{\texttt{C}}^{\operatorname{\texttt{++}}}}
\symdef{JavaLanguage}{{\operatorname{\texttt{Java}}}}
\symdef{ScalaLanguage}{{\operatorname{\texttt{Scala}}}}
\symdef{SMLLanguage}{\operatorname{\texttt{SML}}}
\symdef{mozartLanguage}{{\operatorname{\texttt{mOZart}}}}
\symdef{OZLanguage}{{\operatorname{\texttt{OZ}}}}
\symdef{LISPLanguage}{{\operatorname{\texttt{LISP}}}}
\symdef{FortranLanguage}{{\operatorname{\texttt{FORTRAN}}}}
\symdef{CobolLanguage}{{\operatorname{\texttt{COBOL}}}}
\end{module}
\end{document}
\documentclass[notes,mh]{mikoslides}
\libinput{preamble}
\begin{document}
\begin{module}[id=pseudocode]
\symdef{pmetavar}[1]{\ensuremath{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}}
\end{module}
\end{document}
\documentclass[notes,mh]{mikoslides}
\libinput{preamble}
\begin{document}
\begin{module}[id=systems] % we have not introduced these
\abbrdef{scsys}[1]{\operatorname{\texttt{#1}}}
\symdef{systemname}[1]{\mathop{#1}}
\symdef{EMACSEditor}{\operatorname{\texttt{emacs}}}
\symdef{PUTTY}{\operatorname{\texttt{putty}}}
\symdef{Coq}{\scsys{Coq}}
\symdef{google}{\operatorname{Google}}
\symdef{MSexcel}{\text{MS Excel}}
\symdef{OOcalc}{\operatorname{OO Calc}}
\symdef{AppleNumbers}{\text{Numbers}}
\symdef{gnuplot}{\operatorname{gnuplot}}
\symdef{mathematica}{\operatorname{\texttt{Mathematica}}}
\symdef{mysql}{\operatorname{\texttt{MySQL}}}
\symdef{LAMPsystem}{\operatorname{\texttt{LAMP}}}
\symdef{jdom}{\operatorname{\texttt{JDOM}}}
\symdef{acrobatReader}{\operatorname{\texttt{Acrobat Reader}}}
\symdef{acrobatDistiller}{\operatorname{\texttt{Acrobat Distiller}}}
\symdef{pdf}{\operatorname{\texttt{PDF}}}
\symdef{wordperfect}{\operatorname{\texttt{WordPerfect}}}
\symdef{drupal}{\operatorname{\texttt{Drupal}}}
\symdef{mathplayer}{\operatorname{\texttt{MathPlayer}}}
\end{module}
\end{document}
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