diff -r 824ffbf66ab4 -r b712519b41d3 langs.sty
--- a/langs.sty	Mon Dec 02 19:26:45 2013 +0000
+++ b/langs.sty	Mon Dec 02 23:21:22 2013 +0000
@@ -57,7 +57,7 @@
 	showstringspaces=false}
 
 \lstdefinelanguage{while}{
-  morekeywords={if,then,else,while,do,true,false,write,upto},
+  morekeywords={if,then,else,while,do,true,false,write,upto,for,skip},
   otherkeywords={=,!=,:=,<,>,;},
   sensitive=true,
   morecomment=[n]{/*}{*/},