diff options
Diffstat (limited to 'ec-defs.tex')
| -rw-r--r-- | ec-defs.tex | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ec-defs.tex b/ec-defs.tex index 7878eb9..1ebecc6 100644 --- a/ec-defs.tex +++ b/ec-defs.tex @@ -133,7 +133,7 @@ \newcounter{easycrypt} \lstnewenvironment{easycrypt}[2][]{ - \renewcommand\lstlistingname{Listado de código} + \renewcommand\lstlistingname{Code listing} \setcounter{lstlisting}{\value{easycrypt}} \lstset{language=easycrypt,caption={#2},#1} } @@ -206,7 +206,7 @@ \newcounter{game} \lstnewenvironment{game}[2][]{ - \renewcommand\lstlistingname{Juego} + \renewcommand\lstlistingname{Game} \setcounter{lstlisting}{\value{game}} \lstset{language=game,caption={#2},#1} } @@ -222,8 +222,9 @@ style=game-style, } -\newcommand{\rawec}[2][basicstyle=\normalsize\sffamily,mathescape]{\lstinline -[language=easycrypt,#1]{#2}} +\newcommand{\rawec}[2][basicstyle=\normalsize\sffamily,mathescape]{% + <<\lstinline[language=easycrypt,#1]{#2}>>% +} %% Typesetting \newcommand{\titledbox}[4]{{\color{#1}\fbox{\begin{minipage}{#2}{\textbf{#3:} \color{black}#4}\end{minipage}}}} |