lean.lang: add a few more keywords

1 files changed, 5 insertions, 0 deletions

diff --git a/data/language-specs/lean.lang b/data/language-specs/lean.lang
index c5cb8270..3fac5b49 100644
--- a/data/language-specs/lean.lang
+++ b/data/language-specs/lean.lang
@@ -79,15 +79,18 @@
     </context>
 
     <context id="keyword" style-ref="keyword">
+      <keyword>abbrev</keyword>
       <keyword>axiom</keyword>
       <keyword>break</keyword>
       <keyword>class</keyword>
       <keyword>continue</keyword>
       <keyword>def</keyword>
+      <keyword>deriving</keyword>
       <keyword>do</keyword>
       <keyword>else</keyword>
       <keyword>end</keyword>
       <keyword>example</keyword>
+      <keyword>extends</keyword>
       <keyword>for</keyword>
       <keyword>fun</keyword>
       <keyword>if</keyword>
@@ -98,8 +101,10 @@
       <keyword>match</keyword>
       <keyword>mut</keyword>
       <keyword>namespace</keyword>
+      <keyword>opaque</keyword>
       <keyword>open</keyword>
       <keyword>partial</keyword>
+      <keyword>rec</keyword>
       <keyword>return</keyword>
       <keyword>section</keyword>
       <keyword>structure</keyword>