<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
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={=,!=,:=,&lt;,&gt;,;},
   sensitive=true,
   morecomment=[n]{/*}{*/},




</pre></body></html>