why.lang: more keywords

parent acb84611
......@@ -144,48 +144,51 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
<match>\]</match>
</context>
<context id="keywords" style-ref="meta-keyword">
<keyword>theory</keyword>
<keyword>end</keyword>
<keyword>use</keyword>
<keyword>clone</keyword>
<keyword>namespace</keyword>
<keyword>import</keyword>
<keyword>export</keyword>
<keyword>inductive</keyword>
<keyword>function</keyword>
<keyword>predicate</keyword>
<keyword>axiom</keyword>
<keyword>lemma</keyword>
<keyword>goal</keyword>
<keyword>type</keyword>
<keyword>with</keyword>
<keyword>module</keyword>
<keyword>exception</keyword>
<keyword>val</keyword>
<keyword>axiom</keyword>
<keyword>clone</keyword>
<keyword>end</keyword>
<keyword>exception</keyword>
<keyword>export</keyword>
<keyword>function</keyword>
<keyword>goal</keyword>
<keyword>import</keyword>
<keyword>inductive</keyword>
<keyword>lemma</keyword>
<keyword>module</keyword>
<keyword>namespace</keyword>
<keyword>predicate</keyword>
<keyword>theory</keyword>
<keyword>type</keyword>
<keyword>use</keyword>
<keyword>val</keyword>
<keyword>with</keyword>
</context>
<context id="meta-words" style-ref="keyword">
<keyword>match</keyword>
<keyword>let</keyword>
<keyword>rec</keyword>
<keyword>in</keyword>
<keyword>if</keyword>
<keyword>then</keyword>
<keyword>else</keyword>
<keyword>for</keyword>
<keyword>to</keyword>
<keyword>downto</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>reads</keyword>
<keyword>writes</keyword>
<keyword>raises</keyword>
<keyword>absurd</keyword>
<keyword>assert</keyword>
<keyword>begin</keyword>
<keyword>do</keyword>
<keyword>done</keyword>
<keyword>downto</keyword>
<keyword>else</keyword>
<keyword>exists</keyword>
<keyword>for</keyword>
<keyword>forall</keyword>
<keyword>if</keyword>
<keyword>in</keyword>
<keyword>invariant</keyword>
<keyword>let</keyword>
<keyword>match</keyword>
<keyword>raise</keyword>
<keyword>raises</keyword>
<keyword>reads</keyword>
<keyword>rec</keyword>
<keyword>then</keyword>
<keyword>to</keyword>
<keyword>try</keyword>
<keyword>variant</keyword>
<keyword>while</keyword>
<keyword>writes</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