From 062dcd9c32e900242751a1ab84886f6aacac04d8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 1 Jun 2018 16:06:08 +0200
Subject: [ide] update coq-ssreflect.lang wrt under tactic

---
 ide/coq-ssreflect.lang | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ide/coq-ssreflect.lang b/ide/coq-ssreflect.lang
index bd9cb4bfa2..fc7bc64a68 100644
--- a/ide/coq-ssreflect.lang
+++ b/ide/coq-ssreflect.lang
@@ -73,11 +73,13 @@
       <keyword>suffices</keyword>
       <keyword>suff</keyword>
       <keyword>transitivity</keyword>
+      <keyword>under</keyword>
       <keyword>without loss</keyword>
       <keyword>wlog</keyword>
     </context>
     <context id="ssr-endtac" style-ref="endtactic">
       <keyword>by</keyword>
+      <keyword>over</keyword>
       <keyword>exact</keyword>
       <keyword>reflexivity</keyword>
     </context>
-- 
cgit v1.2.3