From 7fd85f27ef6466aa99a54bb1fc8abb171e757dc4 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 19 Feb 2020 21:21:18 +0300 Subject: [PATCH] Cosmetics in spec --- spec/lama-spec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex index 6f61dd79c..0f15f2061 100644 --- a/spec/lama-spec.tex +++ b/spec/lama-spec.tex @@ -85,7 +85,7 @@ \newcommand{\descr}[2]{\smallskip{#1}\begin{itemize}[noitemsep,topsep=0pt]\item[]{#2}\end{itemize}} -\lstdefinelanguage{alm}{ +\lstdefinelanguage{lama}{ keywords={skip,if,then,else,elif,fi,while,do,od,repeat,until,for,fun,local,public,return,import,length, string,case,of,esac,when,boxed,unboxed,string,sexp,array,infix,infixl,infixr,at,before,after,true,false,eta,lazy}, sensitive=true, @@ -110,7 +110,7 @@ commentstyle=\scriptsize\rmfamily, basewidth={0.5em,0.5em}, fontadjust=true, escapechar=!, -language=alm +language=lama } \sloppy