Commit f75af5a8 authored by Martin Clochard's avatar Martin Clochard

lang file: missing keyword.

parent f78b2637
......@@ -170,6 +170,7 @@ on linking described in file LICENSE.
<keyword>import</keyword>
<keyword>inductive</keyword>
<keyword>lemma</keyword>
<keyword>mutable</keyword>
<keyword>module</keyword>
<keyword>namespace</keyword>
<keyword>predicate</keyword>
......
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