1 files changed, 18 insertions, 2 deletions
diff --git a/defs.tex b/defs.tex
index b8b42df..a71c390 100755
--- a/defs.tex
+++ b/defs.tex
@@ -199,8 +199,6 @@
   frame=tb,
   keywordstyle=[1]{\bfseries},
   mathescape=true,
-  literate={<-}{{$ \leftarrow $}}1
-           % {<\$-}{{$\!\phi_1$}}1
 }
 
 \lstdefinelanguage{bnf}{
@@ -208,6 +206,24 @@
   morekeywords=[1]{while,do,if,then,else,skip}
 }
 
+\newcounter{game}
+\lstnewenvironment{game}[2][]{
+  \renewcommand\lstlistingname{Juego}
+  \setcounter{lstlisting}{\value{game}}
+  \lstset{language=game,caption={#2},#1}
+}
+{\stepcounter{game}}
+
+\lstdefinestyle{game-style}{
+  frame=tb,
+  keywordstyle=[1]{\bfseries},
+  mathescape=true,
+}
+
+\lstdefinelanguage{game}{
+  style=game-style,
+}
+
 \newcommand{\rawec}[2][basicstyle=\normalsize\sffamily,mathescape]{\lstinline
 [language=easycrypt,#1]{#2}}