Commit 30f3549d authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 85fa7b0a
Pipeline #442 failed with stages
in 2 seconds
......@@ -4,6 +4,7 @@
\symdef{macosxOS}{\operatorname{\texttt{Mac OS X}}}
\symdef{cygwinOS}{\operatorname{\texttt{cygwin}}}
\symdef{windowsOS}{\operatorname{\texttt{Windows}}}
\symi{shell}
\end{module}
%%% Local Variables:
......
\begin{module}[id=pseudocode]
\symdef{pmetavar}[1]{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}
\symdef{pmetavar}[1]{\ensuremath{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}}
\end{module}
%%% Local Variables:
%%% mode: latex
......
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