[gtksourceview: 4/5] lean.lang: add a few more keywords

[Christian Hergert <chergert src gnome org>]

commit 0f24667ec3b890de36f5a0251edea6c918b496de
Author: Elias Aebi <353-eyelash users noreply gitlab gnome org>
Date:   Sat Sep 3 12:19:54 2022 +0200

    lean.lang: add a few more keywords

 data/language-specs/lean.lang | 5 +++++
 1 file changed, 5 insertions(+)
---
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>