--- a/langs.sty Sat Oct 11 13:54:18 2014 +0100
+++ b/langs.sty Sun Oct 12 19:39:55 2014 +0100
@@ -32,11 +32,12 @@
}[keywords,comments,strings]
\lstdefinelanguage{While}{
- morekeywords={if,then,else,while,do,true,false,write,upto,for,skip},
- otherkeywords={=,!=,:=,<,>,;},
- sensitive=true,
+ morekeywords={if,then,else,while,do,true,false,write,upto,read,for,skip},
+ morecomment=[l]{//},
morecomment=[n]{/*}{*/},
-}
+ morestring=[b]",
+ otherkeywords={=,!=,:=,<,>,\%;*,/},
+}[keywords,comments,strings]
\lstdefinestyle{mystyle}
{basicstyle=\ttfamily,