diff -r b9b54574ee41 -r 1446bc47a294 langs.sty
--- 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,