From ef6202218c92bf3fb5bcdeca0c372e5d124cd537 Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Thu, 22 Feb 2018 20:08:52 -0800
Subject: Remove deprecated commands Arguments Scope and Implicit Arguments

---
 tools/gallina-syntax.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools')

diff --git a/tools/gallina-syntax.el b/tools/gallina-syntax.el
index 662762b08c..7c59fb6ae8 100644
--- a/tools/gallina-syntax.el
+++ b/tools/gallina-syntax.el
@@ -432,7 +432,6 @@
      ("Add Semi Ring" nil "Add Semi Ring #." t "Add\\s-+Semi\\s-+Ring")
      ("Add Setoid" nil "Add Setoid #." t "Add\\s-+Setoid")
      ("Admit Obligations" "oblsadmit" "Admit Obligations." nil "Admit\\s-+Obligations")
-     ("Arguments Scope" "argsc" "Arguments Scope @{id} [ @{_} ]" t "Arguments\\s-+Scope")
      ("Bind Scope" "bndsc" "Bind Scope @{scope} with @{type}" t "Bind\\s-+Scope")
      ("Canonical Structure" nil "Canonical Structure #." t "Canonical\\s-+Structure")
      ("Cd" nil "Cd #." nil "Cd")
-- 
cgit v1.2.3