why.lang: syntax coloring for programs

parent 39b1bbaa
......@@ -158,6 +158,9 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
<keyword>goal</keyword>
<keyword>type</keyword>
<keyword>with</keyword>
<keyword>module</keyword>
<keyword>exception</keyword>
<keyword>parameter</keyword>
</context>
<context id="meta-words" style-ref="keyword">
<keyword>match</keyword>
......@@ -166,7 +169,17 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
<keyword>if</keyword>
<keyword>then</keyword>
<keyword>else</keyword>
<keyword>for</keyword>
<keyword>to</keyword>
<keyword>do</keyword>
<keyword>done</keyword>
<keyword>forall</keyword>
<keyword>try</keyword>
<keyword>raise</keyword>
<keyword>invariant</keyword>
<keyword>variant</keyword>
<keyword>assert</keyword>
<keyword>while</keyword>
<keyword>-&gt;</keyword>
</context>
<context id="types" style-ref="type">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment