| changeset 222 | b712519b41d3 |
| parent 218 | 8f3f8d82da8b |
| child 230 | 0fd668d7b619 |
| 221:824ffbf66ab4 | 222:b712519b41d3 |
|---|---|
55 tabsize=2, |
55 tabsize=2, |
56 showspaces=false, |
56 showspaces=false, |
57 showstringspaces=false} |
57 showstringspaces=false} |
58 |
58 |
59 \lstdefinelanguage{while}{ |
59 \lstdefinelanguage{while}{ |
60 morekeywords={if,then,else,while,do,true,false,write,upto}, |
60 morekeywords={if,then,else,while,do,true,false,write,upto,for,skip}, |
61 otherkeywords={=,!=,:=,<,>,;}, |
61 otherkeywords={=,!=,:=,<,>,;}, |
62 sensitive=true, |
62 sensitive=true, |
63 morecomment=[n]{/*}{*/}, |
63 morecomment=[n]{/*}{*/}, |
64 } |
64 } |
65 |
65 |